| 2019-06-14 01:43:48 |
Carlos Pita |
description |
I've tried this in two different hidpi monitors with different scaling configurations:
1) A 1920x1080 screen with scale factor 1x and font scale factor 1.25.
2) A 3000x2000 screen with scale factor 2x.
In the first one, icons are too small, I have to change:
this._iconBox = new AppIndicator.IconActor(indicator, Panel.PANEL_ICON_SIZE + 6);
to
this._iconBox = new AppIndicator.IconActor(indicator, Panel.PANEL_ICON_SIZE + 12);
OTOH, icons are a little too big in the second setting and I have to do:
this._iconBox = new AppIndicator.IconActor(indicator, Panel.PANEL_ICON_SIZE + 2);
Icons directly managed by gnome shell are not sized according to PANEL_ICON_SIZE, see:
https://gitlab.gnome.org/GNOME/gnome-shell/blob/master/js/ui/panelMenu.js
Short of a smarter way of computing icons size, you could provide a setting to adjust it. |
I've tried this in two different hidpi monitors with different scaling configurations:
1) A 1920x1080 screen with scale factor 1x and font scale factor 1.25.
2) A 3000x2000 screen with scale factor 2x.
In the first one, icons are too small, I have to change:
this._iconBox = new AppIndicator.IconActor(indicator, Panel.PANEL_ICON_SIZE + 6);
to
this._iconBox = new AppIndicator.IconActor(indicator, Panel.PANEL_ICON_SIZE + 12);
OTOH, icons are a little too big in the second setting and I have to do:
this._iconBox = new AppIndicator.IconActor(indicator, Panel.PANEL_ICON_SIZE + 2);
Icons directly managed by gnome shell are not sized according to PANEL_ICON_SIZE, see:
https://gitlab.gnome.org/GNOME/gnome-shell/blob/master/js/ui/panelMenu.js
Short of a smarter way of computing icons size, you could provide a setting to adjust it so that the user could fine tune it if necessary without hacking the code. |
|
