Fantastic, that was the quickest bugfix in the history! I confirm that the problem is solved.
I have used the latest xnedit On OpenSuse Linux 15.0, Firefox 68.2 while writing a mail in gmail, I select with mouse the following text (without quotes, without new line character) "Blabla blaž blaž blaž blaž blaž" then, without using copy from menu in Firefox, I simply paste the text into fresh xnedit with middle mouse button (not from paste menu in xnedit). I attach the image of the crash trace from ddd, which shows the exact position of the crash (but maybe memory is corrupted before). It may...
I think it is not possible. On program startup, it reads the various settings, like text color, background color, shadow color... Then it uses the same 24 bit or 32 bit pixel value to draw the Widgets. If you change the default colors, the client programs are not notified, so they continue to use the old color values. Only on logout/login, you get the new colors, since settings are re-read. If all programs would be written using the similar toolkits, and if toolkits would provide some protocol to...
Probably the graphics system was 8-bit with 256 color palette. Changing the color palette would immediately change the color immediately where the same pixel value was used. So there is no need to refresh the whole graphics screen, just change the palette. The palette system also caused the programs to compete for color palette entries. The window manager would use 30 or so colors for text and window decoration, while the others were available for the other programs. If the system ran out of colors,...
Probably the graphics system was 8-bit with 256 color palette. Changing the color palette would immediately change the color immediately where the same pixel value was used. So there is no need to refresh the whole graphics screen, just change the palette. The palette system also caused the programs to compete for color palette entries. The graphics system would use 30 or so colors for text and window decoration, while the others were available for the other programs. If the system ran out of colors,...
And you can also use shortcuts "Ctrl +" and "Ctrl -" to change font size on the fly. This can be useful as you change display from one monitor to another.
And you can also use shortcuts "Ctrl +" and "Ctrl +" to change font size on the fly. This can be useful as you change display from one monitor to another.