Re: [Denemo-devel] Progress Bar

[Richard Shann]

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