gnome-wm suggestion
- From: Ted Roberts <joejor netzero net>
- To: gnome-devel-list gnome org
- Subject: gnome-wm suggestion
- Date: Thu, 11 Mar 2004 07:36:51 -0500
I have a suggestion for the gnome-wm script. Since this script saves
the current $WINDOW_MANAGER to the gconf registry, why not get that
value back at the beginning and use it as the default? This patch still
respects a user-set $WINDOW_MANAGER value if it exists, otherwise it
fetches the current default window manager from the gconf registry.
(personally, I never figured out where I was supposed to set
$WINDOW_MANAGER, which is why I do it this way)
---
/home/Gnome/gnome-build/make2590/gnome-session-2.5.90/gnome-session/gnome-w2004-02-04
03:30:44.000000000 -0500
+++ /usr/bin/gnome-wm 2004-03-10 20:49:39.000000000 -0500
@@ -38,6 +38,9 @@
done
# WINDOW_MANAGER overrides all
+if [ -z "$WINDOW_MANAGER" ] ; then
+ WINDOW_MANAGER=`gconftool-2 -g
"/desktop/gnome/applications/window_manager/default"`
+fi
OLDIFS=$IFS
IFS=":"
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]