- --- ./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,
create new paste | create new version of this paste
RAW Paste Data
Our Sites: