--- ./pypanel 2005-06-26 16:24:43.000000000 -0700 +++ ./pypanel 2006-10-22 13:47:00.000000000 -0700 @@ -44,19 +44,28 @@ self.focus = 0 # Currently focused window self.rpm = None # Root pixmap ID - global P_HEIGHT, P_WIDTH, P_LOCATION - + global P_HEIGHT, P_WIDTH, P_LOCATION, P_B_BUFF, P_T_BUFF, P_L_BUFF, P_R_BUFF, P_START + # Misc. initializations if SHOWLINES or SHOWBORDER: self.lgc = self.root.create_gc(foreground=self.getColor(LINE_COLOR)) if not P_WIDTH: P_WIDTH = self.screen.width_in_pixels - P_START + elif P_WIDTH: + P_WIDTH -= P_START + if P_L_BUFF != 0 and P_R_BUFF != 0: + P_WIDTH -= P_R_BUFF + P_START + P_L_BUFF + P_START += P_L_BUFF if SHOWBORDER: P_HEIGHT += 2 if P_LOCATION: P_LOCATION = self.screen.height_in_pixels - P_HEIGHT - else: + if P_B_BUFF != 0: + P_LOCATION -= P_B_BUFF + else: P_LOCATION = 0 + if P_T_BUFF != 0: + P_LOCATION = P_T_BUFF # Setup the panel's window self.window = self.screen.root.create_window(P_START, P_LOCATION,