class Border(_Frame):
def __init__(self, client, parent=None):
# Setup some hints and options before calling the parent constructor
# Some size hints
self.__bw = config.get_option('frm_border_brdr_sz')
self.__crnr_sz = self.__bw + 24
self.pos = {
'client': {'x': self.__bw, 'y': self.__bw,
'width': - (self.__bw * 2),
'height': - (self.__bw * 2)}
}
self.pos['top_side'] = {
'x': self.__crnr_sz,
'y': 0,
'width': - (self.__crnr_sz * 2),
'height': self.__bw
}
self.pos['top_left'] = {
'x': 0,
'y': 0,
'width': self.__crnr_sz,
'height': self.__bw
}
self.pos['top_right'] = {
'x': self.__crnr_sz,
'y': 0,
'width': self.__crnr_sz,
'height': self.__bw
}
self.pos['bottom_side'] = {
'x': self.__crnr_sz,
'y': self.__bw,
'width': - (self.__crnr_sz * 2),
'height': self.__bw
}
self.pos['bottom_left'] = {
'x': 0,
'y': 0,
'width': self.__crnr_sz,
'height': self.__bw
}
self.pos['bottom_right'] = {
'x': self.__crnr_sz,
'y': 0,
'width': self.__crnr_sz,
'height': self.__bw
}
self.pos['left_side'] = {
'x': 0,
'y': self.__crnr_sz,
'width': self.__bw,
'height': - (self.__crnr_sz * 2)
}
self.pos['left_top'] = {
'x': 0,
'y': 0,
'width': self.__bw,
'height': self.__crnr_sz
}
self.pos['left_bottom'] = {
'x': 0,
'y': self.__crnr_sz,
'width': self.__bw,
'height': self.__crnr_sz
}
self.pos['right_side'] = {
'x': self.__bw,
'y': self.__crnr_sz,
'width': self.__bw,
'height': - (self.__crnr_sz * 2)
}
self.pos['right_top'] = {
'x': self.__bw,
'y': 0,
'width': self.__bw,
'height': self.__crnr_sz
}
self.pos['right_bottom'] = {
'x': self.__bw,
'y': self.__crnr_sz,
'width': self.__bw,
'height': self.__crnr_sz
}
# Some colors...
self.colors = {
State.Active: {
'bg': config.get_option('frm_border_bg_a'),
'thinborder': config.get_option('frm_border_thin_clr'),
'bottomborder': config.get_option('frm_border_bg_a'),
},
State.Inactive: {
'bg': config.get_option('frm_border_bg_i'),
'thinborder': config.get_option('frm_border_thin_clr'),
'bottomborder': config.get_option('frm_border_bg_i'),
},
State.CatchAll: {
'bg': config.get_option('frm_border_bg_c'),
'thinborder': config.get_option('frm_border_thin_clr'),
'bottomborder': config.get_option('frm_border_bg_c'),
}
}
# Set the sizes of each side
self.top = self.pos['client']['y']
self.left = self.pos['client']['x']
self.right = self.pos['right_side']['width']
self.bottom = self.pos['bottom_side']['height']
_Frame.__init__(self, client, parent)
# Add CatchAll to allowed states
self.allowed_states.append(State.CatchAll)
self.top_side = TopSide(self)
self.top_left = TopLeft(self)
self.top_right = TopRight(self)
self.bottom_side = BottomSide(self)
self.bottom_left = BottomLeft(self)
self.bottom_right = BottomRight(self)
self.left_side = LeftSide(self)
self.left_top = LeftTop(self)
self.left_bottom = LeftBottom(self)
self.right_side = RightSide(self)
self.right_top = RightTop(self)
self.right_bottom = RightBottom(self)
self.configure_client(width=self.client.win.geom['width'],
height=self.client.win.geom['height'])
def configure(self, x=None, y=None, width=None, height=None,
border_width=None, sibling=None, stack_mode=None,
ignore_hints=False):
(x, y, width, height,
border_width, sibling, stack_mode) = _Frame.configure(
self, x, y, width, height, border_width, sibling, stack_mode,
ignore_hints)
if width:
self.top_side.configure(
width=width + self.pos['top_side']['width'])
self.top_right.configure(
x=self.pos['top_right']['x'] + self.top_side.geom['width'])
self.bottom_side.configure(
width=width + self.pos['bottom_side']['width'])
self.bottom_right.configure(
x=self.pos['bottom_right']['x'] +
self.bottom_side.geom['width'])
self.right_side.configure(
x=self.client.win.geom['width'] + self.pos['right_side']['x'])
self.right_top.configure(
x=self.right_side.geom['x'])
self.right_bottom.configure(
x=self.right_side.geom['x'])
if height:
self.bottom_side.configure(
y=self.client.win.geom['height'] +
self.pos['bottom_side']['y'])
self.bottom_left.configure(
y=self.pos['bottom_left']['y'] + self.bottom_side.geom['y'])
self.bottom_right.configure(
y=self.pos['bottom_right']['y'] + self.bottom_side.geom['y'])
self.left_side.configure(
height=height + self.pos['left_side']['height'])
self.left_bottom.configure(
y=self.pos['left_bottom']['y'] + self.left_side.geom['height'])
self.right_side.configure(
height=height + self.pos['right_side']['height'])
self.right_bottom.configure(
y=self.pos['right_bottom']['y'] +
self.right_side.geom['height'])
def render(self):
if not _Frame.render(self):
return
self.top_side.render()
self.top_left.render()
self.top_right.render()
self.bottom_side.render()
self.bottom_left.render()
self.bottom_right.render()
self.left_side.render()
self.left_top.render()
self.left_bottom.render()
self.right_side.render()
self.right_top.render()
self.right_bottom.render()
self.parent.render()
state.conn.flush()
def set_state(self, st):
if not _Frame.set_state(self, st):
return
self.render()
def switch_off(self):
self.right_bottom.destroy()
self.right_top.destroy()
self.right_side.destroy()
self.left_bottom.destroy()
self.left_top.destroy()
self.left_side.destroy()
self.bottom_right.destroy()
self.bottom_left.destroy()
self.bottom_side.destroy()
self.top_right.destroy()
self.top_left.destroy()
self.top_side.destroy()
class Full(_Frame):
def __init__(self, client, parent=None):
# Setup some hints and options before calling the parent constructor
# Some size hints
self.__bw = 1
self.__bottom_bw = config.get_option('frm_full_bottom_brdr_sz')
self.__titleheight = 26
# Dictionary that determines the relative layout of each
# window in the frame
# NOTE: The values here can be both static and dynamic. For example,
# a static position might be "2" whereas a dynamic position might be
# "1/2". Whether a value is static or dynamic depends on how it is
# used.
self.pos = {
'client': {'x': self.__bw, 'y': self.__bw + self.__titleheight,
'width': - (self.__bw * 2),
'height': - (self.__bw + self.__bottom_bw +
self.__titleheight + 1)},
'icon': {'x': self.__bw + 3, 'y': self.__bw + 3,
'width': 20, 'height': 20},
'buttons': {'x': -75, 'y': 2, 'width': 75, 'height': 20},
}
self.pos['close'] = {
'x': -22,
'y': self.__bw + 4,
'width': 17,
'height': 17
}
self.pos['maximize'] = {
'x': self.pos['close']['x'] * 2,
'y': self.pos['close']['y'],
'width': self.pos['close']['width'],
'height': self.pos['close']['height']
}
self.pos['restore'] = self.pos['maximize']
self.pos['minimize'] = {
'x': self.pos['close']['x'] * 3,
'y': self.pos['close']['y'],
'width': self.pos['close']['width'],
'height': self.pos['close']['height']
}
self.pos['buttonbg'] = {
'x': self.pos['minimize']['x'],
'y': 0,
'width': - self.pos['minimize']['x'],
'height': self.__titleheight
}
self.pos['title_bar'] = {
'x': 0,
'y': 0,
'width': 0,
'height': self.__titleheight
}
self.pos['title'] = {
'x': self.pos['icon']['x'] + self.pos['icon']['width'] + 2,
'y': self.pos['icon']['y'] + 2,
'width': 800, # Max width
'height': 20 # Max height
}
self.pos['title_border'] = {
'x': 0,
'y': self.__titleheight,
'width': 0,
'height': 1
}
self.pos['bottom_border'] = {
'x': 0,
'y': self.__bw + self.__titleheight,
'width': 0,
'height': 1
}
self.pos['top_side'] = {
'x': self.pos['title']['x'],
'y': 0,
'width': - (self.pos['title']['x'] * 2),
'height': 5
}
self.pos['top_left'] = {
'x': 0,
'y': 0,
'width': self.pos['title']['x'],
'height': 5
}
self.pos['top_right'] = {
'x': self.pos['top_left']['width'],
'y': 0,
'width': self.pos['title']['x'],
'height': 5
}
self.pos['bottom_side'] = {
'x': self.pos['title']['x'],
'y': self.__bw + self.__titleheight + 1,
'width': - (self.pos['title']['x'] * 2),
'height': self.__bottom_bw
}
self.pos['bottom_left'] = {
'x': 0,
'y': 0,
'width': self.pos['top_left']['width'],
'height': self.pos['bottom_side']['height']
}
self.pos['bottom_right'] = {
'x': self.pos['bottom_left']['width'],
'y': 0,
'width': self.pos['top_right']['width'],
'height': self.pos['bottom_side']['height']
}
self.pos['left_side'] = {
'x': 0,
'y': self.__bw + self.__titleheight,
'width': self.__bw,
'height': - (2 * (self.__bw + self.__titleheight))
}
self.pos['left_top'] = {
'x': 0,
'y': 0,
'width': 5,
'height': self.pos['left_side']['y']
}
self.pos['left_bottom'] = {
'x': 0,
'y': self.pos['left_top']['height'],
'width': self.__bw,
'height': self.pos['left_side']['y']
}
self.pos['right_side'] = {
'x': self.__bw,
'y': self.__bw + self.__titleheight,
'width': self.__bw,
'height': - (2 * (self.__bw + self.__titleheight))
}
self.pos['right_top'] = {
'x': self.__bw - 5,
'y': 0,
'width': 5,
'height': self.pos['right_side']['y']
}
self.pos['right_bottom'] = {
'x': self.__bw,
'y': self.pos['right_top']['height'],
'width': self.__bw,
'height': self.pos['right_side']['y']
}
# Some colors...
self.colors = {
State.Active: { # active
'bg': config.get_option('frm_full_bg_a'),
'title': config.get_option('frm_full_title_a'),
'thinborder': config.get_option('frm_thinborder_clr'),
'bottomborder': config.get_option('frm_full_bottom_brdr_a'),
'buttonbg': config.get_option('frm_full_button_bg_a'),
'buttonfg': config.get_option('frm_full_button_fg_a')
},
State.Inactive: { # inactive
'bg': config.get_option('frm_full_bg_i'),
'title': config.get_option('frm_full_title_i'),
'thinborder': config.get_option('frm_thinborder_clr'),
'bottomborder': config.get_option('frm_full_bottom_brdr_i'),
'buttonbg': config.get_option('frm_full_button_bg_i'),
'buttonfg': config.get_option('frm_full_button_fg_i')
}
}
# Set the sizes of each side
self.top = self.pos['client']['y']
self.left = self.pos['client']['x']
self.right = self.pos['right_side']['width']
self.bottom = (self.pos['bottom_side']['height'] +
self.pos['bottom_border']['height'])
_Frame.__init__(self, client, parent)
# Put all the goodies underneath the borders and stuff
self.title_bar = TitleBar(self)
self.title = Title(self)
self.buttonbg = ButtonBG(self) # Hides title if the window is too small
self.close = Close(self)
self.minimize = Minimize(self)
self.restore = Restore(self)
self.maximize = Maximize(self)
self.icon = Icon(self)
self.top_side = TopSide(self)
self.top_left = TopLeft(self)
self.top_right = TopRight(self)
self.bottom_side = BottomSide(self)
self.bottom_left = BottomLeft(self)
self.bottom_right = BottomRight(self)
self.left_side = LeftSide(self)
self.left_top = LeftTop(self)
self.left_bottom = LeftBottom(self)
self.right_side = RightSide(self)
self.right_top = RightTop(self)
self.right_bottom = RightBottom(self)
self.title_border = ThinBorder(self)
self.bottom_border = ThinBorder(self)
self.choose_maximized()
self.configure_client(width=self.client.win.geom['width'],
height=self.client.win.geom['height'])
def configure(self, x=None, y=None, width=None, height=None,
border_width=None, sibling=None, stack_mode=None,
ignore_hints=False):
(x, y, width, height,
border_width, sibling, stack_mode) = _Frame.configure(
self, x, y, width, height, border_width, sibling, stack_mode,
ignore_hints)
if width:
self.close.configure(
x=width + self.pos['close']['x'])
self.maximize.configure(
x=width + self.pos['maximize']['x'])
self.restore.configure(
x=width + self.pos['restore']['x'])
self.minimize.configure(
x=width + self.pos['minimize']['x'])
self.buttonbg.configure(
x=width + self.pos['buttonbg']['x'])
self.top_side.configure(
width=width + self.pos['top_side']['width'])
self.top_right.configure(
x=self.pos['top_right']['x'] + self.top_side.geom['width'])
self.bottom_side.configure(
width=width + self.pos['bottom_side']['width'])
self.bottom_right.configure(
x=self.pos['bottom_right']['x'] +
self.bottom_side.geom['width'])
self.right_side.configure(
x=self.client.win.geom['width'] + self.pos['right_side']['x'])
self.right_top.configure(
x=self.pos['right_top']['x'] + self.right_side.geom['x'])
self.right_bottom.configure(
x=self.right_side.geom['x'])
self.title_bar.configure(
width=width + self.pos['title_bar']['width'])
self.title_border.configure(
width=width + self.pos['title_border']['width'])
self.bottom_border.configure(
width=width + self.pos['bottom_border']['width'])
if height:
self.bottom_side.configure(
y=self.client.win.geom['height'] +
self.pos['bottom_side']['y'])
self.bottom_left.configure(
y=self.pos['bottom_left']['y'] + self.bottom_side.geom['y'])
self.bottom_right.configure(
y=self.pos['bottom_right']['y'] + self.bottom_side.geom['y'])
self.left_side.configure(
height=height + self.pos['left_side']['height'])
self.left_bottom.configure(
y=self.pos['left_bottom']['y'] + self.left_side.geom['height'])
self.right_side.configure(
height=height + self.pos['right_side']['height'])
self.right_bottom.configure(
y=self.pos['right_bottom']['y'] +
self.right_side.geom['height'])
self.bottom_border.configure(
y=self.client.win.geom['height'] +
self.pos['bottom_border']['y'])
def render(self):
if not _Frame.render(self):
return
self.title_bar.render()
self.bottom_border.render()
self.title_border.render()
self.top_side.render()
self.top_left.render()
self.top_right.render()
self.bottom_side.render()
self.bottom_left.render()
self.bottom_right.render()
self.left_side.render()
self.left_top.render()
self.left_bottom.render()
self.right_side.render()
self.right_top.render()
self.right_bottom.render()
self.title.render()
self.minimize.render()
self.restore.render()
self.maximize.render()
self.close.render()
self.buttonbg.render()
self.icon.render()
self.parent.render()
self.choose_maximized()
state.conn.flush()
def choose_maximized(self):
if self.client.maximized:
self.restore.map()
self.maximize.unmap()
else:
self.restore.unmap()
self.maximize.map()
def set_state(self, st):
if not _Frame.set_state(self, st):
return
self.render()
def switch_off(self):
self.bottom_border.destroy()
self.title_border.destroy()
self.right_bottom.destroy()
self.right_top.destroy()
self.right_side.destroy()
self.left_bottom.destroy()
self.left_top.destroy()
self.left_side.destroy()
self.bottom_right.destroy()
self.bottom_left.destroy()
self.bottom_side.destroy()
self.top_right.destroy()
self.top_left.destroy()
self.top_side.destroy()
self.title.destroy()
self.title_bar.destroy()
self.maximize.destroy()
self.restore.destroy()
self.minimize.destroy()
self.close.destroy()
self.buttonbg.destroy()
self.icon.destroy()