search

bigbn / drop-down-terminal-x

Drop Down Terminal X extension for the Gnome Shell
https://extensions.gnome.org/extension/1509/drop-down-terminal-x/?c=38764
GNU General Public License v3.0
91 stars 9 forks source link

fix workarea positioning #3

Closed kufii closed 6 years ago

kufii commented 6 years ago

This should work for all setups, regardless of what extensions you're using or where your panel is placed

As far as I'm concerned this is now the official branch for this extension, the original seems pretty much abandoned, so I'm copying my PR from that branch

bigbn commented 6 years ago

Fixes zzrough/gs-extensions-drop-down-terminal#187 and zzrough/gs-extensions-drop-down-terminal#212 Possibly fixes zzrough/gs-extensions-drop-down-terminal#61