- pypanel buffers patch by rab
- Friday, June 15th, 2007 at 11:19:19am MDT
- --- ./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,
advertising
Update the Post
Either update this post and resubmit it with changes, or make a new post.
You may also comment on this post.
Please note that information posted here will expire by default in one month. If you do not want it to expire, please set the expiry time above. If it is set to expire, web search engines will not be allowed to index it prior to it expiring. Items that are not marked to expire will be indexable by search engines. Be careful with your passwords. All illegal activities will be reported and any information will be handed over to the authorities, so be good.