SlickEdit Community

Archived Read Only Forums => SlickEdit 2018 v23 Beta Discussion => Topic started by: rjpontefract on August 21, 2018, 10:16:08 pm

Title: Tooltip font size on Linux
Post by: rjpontefract on August 21, 2018, 10:16:08 pm
Using the Linux 64-bit version of SE2018 beta 1 the font size for the tooltips in the editing window has shrunk to the point of being unreadable.  I also notice that the font used in the about window has shrunk.  SE 2017 on the same machine looks fine.

The host machine is running RHEL 7, if that makes a difference.
Title: Re: Tooltip font size on Linux
Post by: Clark on August 22, 2018, 01:02:20 pm
Please check if your SE2018 fonts match your SE2017 fonts (Tools>Options>Appearance>Fonts).
Title: Re: Tooltip font size on Linux
Post by: rjpontefract on August 22, 2018, 06:57:14 pm
The fonts settings are identical apart from the minimap fonts which are new in 2018.  They are all set to either Droid Sans or Droid Sans Mono at 8 point size.  The minimap fonts are set to Droid Sans Mono 4 point.
Title: Re: Tooltip font size on Linux
Post by: rjpontefract on August 22, 2018, 07:40:25 pm
The same problem exists on beta 2.
Title: Re: Tooltip font size on Linux
Post by: rjpontefract on August 22, 2018, 07:54:59 pm
I did some playing around and if I set the Parameter Information and Parameter Information Fixed to 18 point it restores the size to about what it was in VS2017 when set to 8 point.
Title: Re: Tooltip font size on Linux
Post by: Clark on August 22, 2018, 08:30:18 pm
We're going to try and reproduce this. Thanks for all the information you've provided.
Title: Re: Tooltip font size on Linux
Post by: Clark on August 22, 2018, 10:36:22 pm
Reproduced. We can reproduce this on Ubuntu if we install the fonts-noto package and use a similar font. We will look into this.
Title: Re: Tooltip font size on Linux
Post by: Clark on August 23, 2018, 02:18:48 am
Fixed for beta 3
Title: Re: Tooltip font size on Linux
Post by: rjpontefract on August 23, 2018, 04:07:14 am
That's great, thanks!
Title: Re: Tooltip font size on Linux
Post by: rjpontefract on October 13, 2018, 07:22:11 am
Did this regress?  I've just installed RC1 and I notice that the tooltip fonts are small again.  Also, the help text in the options dialogs is very small as is the text in the quick start configuration dialogs.

This is still on Ubuntu 18.04 with all fonts set to either Noto Sans or Noto Mono 8 point apart from the mini-map which is 2 point.
Title: Re: Tooltip font size on Linux
Post by: Clark on October 13, 2018, 02:54:45 pm
There were a few problems fixed related to this. However, there is an issue with the _minihtml_SetProportionalFontSize() function. The Options dialog uses this as well as a number of other places. The options dialog tries to use the default dialog font instead of the default html font. Should be ok to do this but there's a bug with _minihtml_SetProportionalFontSize() where it messes up the font sizes. There are a fair amount of places that use this function or the other one _minihtml_SetFixedFontSize(), which is also messed up.

This will be fixed in RC2