search

zzrough / gs-extensions-drop-down-terminal

Drop Down Terminal extension for the Gnome Shell
https://extensions.gnome.org/extension/442/drop-down-terminal/
GNU General Public License v3.0
416 stars 91 forks source link

Feature request: Add shortcut for full-screen mode #47

Open fbreitwieser opened 11 years ago

fbreitwieser commented 11 years ago

I like your extension a lot! I always have used guake so far, but I like your minimalistic approach.

I would like to have the possibility to switch to fullscreen with the standard F11 key. Do you plan implementing this?

zzrough commented 11 years ago

That's a good idea! It has already been asked by a friend of mine, but he did not open a feature request so it's good you did.

But I did not have one bit of free time recently and I do not expect to have much until October, so I'll keep the request around and work when time allows or if somebody brings a pull request in.

rothgar commented 11 years ago

I would love to see this too. Guake doesn't appear to be maintained anymore and terra terminal is not as elegant.

fbreitwieser commented 10 years ago

A simple solution might be to just toggle percentage between the defined height and 100%. I have no experience with shell extensions, but I will have a look next week.

zzrough commented 10 years ago

That was I had in mind + hiding the border.

fbreitwieser commented 10 years ago

I added a full-screen mode which appears in the cycle [terminal appears -> terminal full-screen -> terminal disappears].

https://github.com/fbreitwieser/gs-extensions-drop-down-terminal/commit/b3b391ccb780a962c39cd259140c2bb3cf6e260b

This is more for a prove of concept for me, as it is rather annoying to have a second press every time to make the terminal disappear. The full-screen toggle should be bound to the standard WM setting (org.gnome.desktop.wm.keybindings toggle-fullscreen).

On 11/25/13, Stéphane Démurget notifications@github.com wrote:

That was I had in mind + hiding the border.

Reply to this email directly or view it on GitHub: https://github.com/zzrough/gs-extensions-drop-down-terminal/issues/47#issuecomment-29229841

andreicristianpetcu commented 8 years ago

I wonder if we can add a hook before or after toggle so we can show/hide the topbar.

opensamba commented 8 years ago

nice! can we add the fullscreen feature fbreitwieser@b3b391c in the main zzrough branch ?

razcore-rad commented 7 years ago

Why is this not merge yet? :D

Honestly I would like to use this 100% time, in fact I just removed tilda and so far this is really the only thing I'm missing :). Very nice job!