Message412706
I loaded a .py file into N++ and see them. Under 3 x, there are clearly separate minidots. Under 10x, the dots are hardly visible. They are not characters in the text (cannot be copied) but a special manipulation of the column of pixels 'between' spaces. This must be a built-in feature of to the text widget. I suspect it involves special subpixel manipulation, perhaps requiring information from the monitor. AFAIK, Tk widgets do not have this feature. Unless there is a unicode char consisting of light dots on the very edge, we cannot even simulate this. |
|
Date |
User |
Action |
Args |
2022-02-07 03:14:19 | terry.reedy | set | recipients:
+ terry.reedy, primexx |
2022-02-07 03:14:19 | terry.reedy | set | messageid: <1644203659.89.0.467418518434.issue46666@roundup.psfhosted.org> |
2022-02-07 03:14:19 | terry.reedy | link | issue46666 messages |
2022-02-07 03:14:19 | terry.reedy | create | |
|