Re: G2D problem with window managers
Bastien Nocera <email@example.com> writes:
> On Mon, 2002-08-05 at 22:53, Christian Marillat wrote:
> FYI this priority is defined by the Policy. You can't increase this
> priority for your convenience.
> Well, the policy is in the case "every wm is equal, and it's up to the
> user to make a choice". In this case, only a handful of window managers
An user can't change the priority. A sysadmin can do that, but each time
a new package is installed this priority need to be changed by hand.
The maximum priority is 50 See policy 12.8.4
Start with 20. If menu Debian are supported add 20 and if the window
manager can be restarted without killing X add 10
> If that ends up with the user's desktop being impossible to use, I think
> it makes sense to make these WM have higher priority. That, or create a
> new alternatives for these WMs.
Now if you want to add a new policy statement for GNOME window manager,
do it, but this will take a long time (if nobody else disagree).