First i have to say thank you for that nice Project!
Finally a non stuttering Clipboard Manager on Gnome :)
Can you please also make sure it follows the Gnome Shell Theme and Blurmyshell:
I also added a panel-offset GSettings key (int, 0–200px, default 16) so the gap between the panel and the screen edge can be adjusted which is useful when the panel overlaps a system tray/dock in bottom-anchored positions.
Changed:
schemas/*.gschema.xml: new panel-offset key
ui/panel.js: _positionPanel() now reads MARGIN from the setting instead of a hardcoded 16
First i have to say thank you for that nice Project!
Finally a non stuttering Clipboard Manager on Gnome :)
Can you please also make sure it follows the Gnome Shell Theme and Blurmyshell:
I also added a panel-offset GSettings key (int, 0–200px, default 16) so the gap between the panel and the screen edge can be adjusted which is useful when the panel overlaps a system tray/dock in bottom-anchored positions.
Changed:
schemas/*.gschema.xml: new panel-offset key
ui/panel.js: _positionPanel() now reads MARGIN from the setting instead of a hardcoded 16