Re: [Denemo-devel] Progress Bar

[Jeremiah Benham]

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