On Mon, 2011-11-14 at 10:29 -0600, Jeremiah Benham wrote:
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?
Not too important, I think Nils's window manager is possibly the less
common case, used by those who know what they are doing :)
So perhaps default to the with-decorations.
Richard
Jeremiah
Richard
_______________________________________________
Denemo-devel mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/denemo-devel
_______________________________________________
Denemo-devel mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/denemo-devel
_______________________________________________
Denemo-devel mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/denemo-devel