gryf/wicd
1
0
Fork 0
mirror of https://github.com/gryf/wicd.git synced 2025-12-20 12:58:07 +01:00
Code Issues Projects Releases Wiki Activity

Added support for resizing the preferences window to any size. Also added support for remembing the size of the preferences window.

Browse Source
This commit is contained in:
imdano
2008-03-24 20:37:46 +00:00
parent ef9b5cc7f3
commit f64b207005
3 changed files with 624 additions and 579 deletions
Download Patch File Download Diff File Expand all files Collapse all files

38
daemon.py
View File

@@ -1206,34 +1206,52 @@ class ConnectionWizard(dbus.service.Object):
return "100: Loaded Profile"
@dbus.service.method('org.wicd.daemon.config')
def WriteWindowSize(self, width, height):
def WriteWindowSize(self, width, height, win_name):
"""Write the desired default window size"""
if win_name == "main":
height_str = "window_height"
width_str = "window_width"
else:
height_str = "pref_height"
width_str = "pref_width"
config = ConfigParser.ConfigParser()
config.read(self.app_conf)
if config.has_section("Settings"):
config.set("Settings", "window_width", width)
config.set("Settings", "window_height", height)
config.set("Settings", width_str, width)
config.set("Settings", height_str, height)
config.write(open(self.app_conf, "w"))
@dbus.service.method('org.wicd.daemon.config')
def ReadWindowSize(self):
def ReadWindowSize(self, win_name):
"""Returns a list containing the desired default window size
Attempts to read the default size from the config file,
and if that fails, returns a default of 605 x 400.
"""
if win_name == "main":
default_width = 605
default_height = 400
width_str = "window_width"
height_str = "window_height"
else:
default_width = 125
default_height = 590
width_str = "pref_width"
height_str = "pref_height"
config = ConfigParser.ConfigParser()
config.read(self.app_conf)
if config.has_section("Settings"):
if config.has_option("Settings", "window_width"):
width = config.get("Settings", "window_width")
if config.has_option("Settings", width_str):
width = config.get("Settings", width_str)
else:
width = 605
if config.has_option("Settings", "window_height"):
height = config.get("Settings", "window_height")
width = default_width
if config.has_option("Settings", height_str):
height = config.get("Settings", height_str)
else:
height = 400
height = default_height
size = []
size.append(int(width))
size.append(int(height))