<html>
<head>
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
</head>
<body>
Hi all,<br>
<br>
<blockquote type="cite"
cite="mid:5fbd0d6db3fc4357b06f926dbb3ce360@student.hpi.uni-potsdam.de">
<div id="divtagdefaultwrapper" dir="ltr" style="">
<div id="divtagdefaultwrapper" dir="ltr" style="">
<div style="">
<div style="color:rgb(0,0,0);
font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple
Color Emoji","Segoe UI
Emoji",NotoColorEmoji,"Segoe UI
Symbol","Android Emoji",EmojiSymbols;
font-size:12pt">
<br>
</div>
<div style=""><span style="font-size:12pt">> </span><span
style="color:rgb(0,0,0);
font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple
Color Emoji","Segoe UI
Emoji",NotoColorEmoji,"Segoe UI
Symbol","Android Emoji",EmojiSymbols;
font-size:12pt">'Use the new color picker' - is the new
color pick not our pick for picking colors? If it still
isn't the sensible choice more than 10 years later,
maybe we should dump it completely.</span>
<div style="color:rgb(0,0,0);
font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple
Color Emoji","Segoe UI
Emoji",NotoColorEmoji,"Segoe UI
Symbol","Android Emoji",EmojiSymbols;
font-size:12pt">
<br>
</div>
<div style="color:rgb(0,0,0);
font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple
Color Emoji","Segoe UI
Emoji",NotoColorEmoji,"Segoe UI
Symbol","Android Emoji",EmojiSymbols;
font-size:12pt">
There still might be one feature which the classical
color pick does have, but the new one is missing: Really
"picking" a color from any pixel of the screen. Maybe we
should add this feature. Or am I missing something?</div>
<br>
</div>
</div>
</div>
</div>
</blockquote>
<br>
This is my main use of the colour picker. Colouring related windows
(usually inspectors but also implemetors) in the same colour.<br>
<br>
Cheers,<br>
<br>
Herbert<br>
</body>
</html>