Axel Dörfler schrieb:
Humdinger <humdingerb@xxxxxxxxxxxxxx> wrote:Stephan Aßmus wrote: --- fullscreen shortcutAnyways, MediaPlayer would be a (the only?) other candidate, and that one already implements the shortcut. Though it's Ctrl-Enter if you switched the command key...Terminal does it too. So it's practically a standard. :)I actually thought about removing that one, and only keep it in the menu
Please don't. I didn't even know Terminal does it, but this is very useful when I need to temporarily look at some longer output, then switch back to a small window.
>- it's quite irritating for those who don't ever use full screen
terminals (that should be most people, I would guess), as you don't really see what's going on (unlike a full screen movie or image shown).
Well, it's standard behavior on some other platforms (Windows cmd.exe does it, too - which I only found out after it was mentioned for Terminal). And I think that people who do use a CLI and hit Alt+Enter in it won't be irritated by the behavior; the subset of people who might be irritated likely won't be using Terminal in the first place. So I don't see any real problem here.
Christian
