|
Post by mueh on Feb 25, 2022 12:55:41 GMT -5
Hi George ! After Beta version 22055 if res cmd undo is done the text is now white on black . I don't know what you changed in addition to Stefan's Locate issue but there is no problem with 22050 . Noticed also that font size for tab and status bar is now smaler . It's no problem for me but others might not like smaler font . Thanks
|
|
|
Post by George on Feb 25, 2022 16:14:36 GMT -5
MUEH: No changes to any of those areas, I'll have to check this out.
George
|
|
|
Post by George on Feb 25, 2022 16:44:51 GMT -5
MUEH: A very big Oops. I had spotted some duplicate processing in UNDO processing, so I commented the duplicate loop out (It ran the entire edit line range).
These old eyes however did not spot that it was NOT a duplicate piece of code, it was only a 99% duplicate piece of code.
I've got to stop doing these 'optimizations', some have very subtle side-effects. It's just not worth the exposure to unwarranted glitches.
George
|
|
|
Post by Stefan on Mar 3, 2022 6:48:15 GMT -5
Hi George,
I've just switched to v2.5.22061 and have to agree with mueh regarding the smaller font size on tab and status bar.
I can live with the tiny status bar info (very rarely refer to it anyway), but ought to point out that the scroll bar in the 'Profile' field now overlays bottom of the text. Also, and I only just noticed this, the PROF: XXXX display is replaced intermittently with a Line Len xxx display when you scroll around the file. Probably not intentional behaviour.
But the TAB label font size is now too small/uncomfortable for me to read despite my reading glasses. And the 'height' of that screen line means the 3D-effect when switching tabs further interferes with the legibility of the tab label. Probably only out by a few pixels.
Purely subjectively, I find myself quite frequently 'missing the target' when I go to click on the COMMAND line. Has the command line undergone a diet too? Probably just me, because the TAB line's height has been reduced by quite a lot.
Any chance you could you revert to previous size, please?
|
|
|
Post by George on Mar 3, 2022 9:13:13 GMT -5
Yes, I tweaked the font sizes a bit. I'll undo that till I figure out how to better handle different screen resolutions.
George
|
|