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 __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'])