search

franglais125 / no-title-bar

Integrates maximized windows with the top panel
https://extensions.gnome.org/extension/1267/no-title-bar/
GNU General Public License v2.0
279 stars 40 forks source link

Properly restore the extension #4

Closed franglais125 closed 7 years ago

franglais125 commented 7 years ago

@Beanow

Hi! You commented on the pixel-saver PR, and mentioned that enabling/disabling the extension doesn't properly restore the state of windows.

I included a fix in this fork that tries to remedy this [b2c498048f84a88d2a1b75d3996f4f8cd8028d8a].

If you want to give it a try, please let me know if it works for you!

git clone https://github.com/franglais125/no-title-bar
cd no-title-bar
make install
gnome-shell-extension-tool -e no-title-bar@franglais125.gmail.com

Hopefully we'll see this fork available from e.g.o :)

Thank you!

Beanow commented 7 years ago

Sorry for taking a bit. That indeed fixes the issue for me. :+1:

franglais125 commented 7 years ago

Thank you! I'll close the issue now. i'll try to remember to post here again when the extension is available from e.g.o so you know :)

Beanow commented 7 years ago

Looks like it already landed on ego.

franglais125 commented 7 years ago

Indeed! Cheers