pypanel-gaps/pypanel.patch

   1 --- ./pypanel   2005-06-26 16:24:43.000000000 -0700
   2 +++ ./pypanel   2006-10-22 13:47:00.000000000 -0700
   3 @@ -44,19 +44,28 @@
   4          self.focus   = 0                         # Currently focused window
   5          self.rpm     = None                      # Root pixmap ID
   6
   7 -        global P_HEIGHT, P_WIDTH, P_LOCATION
   8 -
   9 +        global P_HEIGHT, P_WIDTH, P_LOCATION, P_B_BUFF, P_T_BUFF, P_L_BUFF, P_R_BUFF, P_START
  10 +
  11          # Misc. initializations
  12          if SHOWLINES or SHOWBORDER:
  13              self.lgc = self.root.create_gc(foreground=self.getColor(LINE_COLOR))
  14          if not P_WIDTH:
  15              P_WIDTH = self.screen.width_in_pixels - P_START
  16 +        elif P_WIDTH:
  17 +           P_WIDTH -= P_START
  18 +       if P_L_BUFF != 0 and P_R_BUFF != 0:
  19 +           P_WIDTH -= P_R_BUFF + P_START + P_L_BUFF
  20 +           P_START += P_L_BUFF
  21          if SHOWBORDER:
  22              P_HEIGHT += 2
  23          if P_LOCATION:
  24              P_LOCATION = self.screen.height_in_pixels - P_HEIGHT
  25 -        else:
  26 +           if P_B_BUFF != 0:
  27 +                   P_LOCATION -= P_B_BUFF
  28 +       else:
  29              P_LOCATION = 0
  30 +           if P_T_BUFF != 0:
  31 +                   P_LOCATION = P_T_BUFF
  32
  33          # Setup the panel's window
  34          self.window = self.screen.root.create_window(P_START, P_LOCATION,
  35