|
From: | Jeremiah Benham |
Subject: | Re: [Denemo-devel] Progress Bar |
Date: | Mon, 14 Nov 2011 10:29:30 -0600 |
User-agent: | Mozilla/5.0 (X11; Linux i686; rv:7.0.1) Gecko/20110929 Thunderbird/7.0.1 |
On 11/14/2011 06:44 AM, Richard Shann wrote:
I just discovered the snag to the borderless progress bar: on my window manager it occupies the part of the screen with the main application launcher (on a bar at the top of the screen). And, unless you know some window manager shortcuts there is nothing you can do but wait for it to go away. I have a suspicion that others will have a problem with adding the decorations, if so please say, and if possible find a way of determining whether the user would want them or not (or if that is not possible, make it a preference).
Nils told me on #denemo that when window decorations were used it became fullscreen in his window manager. I could make a preference. Would the default be decorated or not?
Jeremiah
Richard _______________________________________________ Denemo-devel mailing list address@hidden https://lists.gnu.org/mailman/listinfo/denemo-devel
[Prev in Thread] | Current Thread | [Next in Thread] |