-
Notifications
You must be signed in to change notification settings - Fork 9
Panel position [Improvement] #1
Description
I really like this extension, can you implement one setting for changing the default panel position?
For now it selects a random place on the right side of the panel.
(probably based on the moment this extension loads in regard to other extensions)
I changed one line in extension.js to achieve either constant position regardless of the extension load time or this also allows you to select a different panel side (left / center / right)
45c45
< Main.panel.addToStatusArea(this._uuid, this._indicator);
---
> Main.panel._addToPanelBox(this._uuid, this._indicator, 3, Main.panel._leftBox);3 is the priority of the extension position in the list of various extensions (larger number will be further from selected side)
Main.panel._leftBox makes it appear on the left side of the panel.
It would be really great if you could implement a gui selection window for this and make it remember its position in between updates.
Thanks for making this extension, cheers!