[Python-checkins] CVS: python/dist/src/Mac/Tools/IDE ProfileBrowser.py,1.2,1.3

[Just van Rossum]

Update of /cvsroot/python/python/dist/src/Mac/Tools/IDE
In directory usw-pr-cvs1:/tmp/cvs-serv14196

Modified Files:
	ProfileBrowser.py 
Log Message:
made radio button labels readable under OSX

Index: ProfileBrowser.py
===================================================================
RCS file: /cvsroot/python/python/dist/src/Mac/Tools/IDE/ProfileBrowser.py,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** ProfileBrowser.py	2001/08/25 12:09:15	1.2
--- ProfileBrowser.py	2001/12/31 08:58:44	1.3
***************
*** 31,44 ****
  		self.w.titlebar = W.TextBox((4, 4, 40, 12), 'Sort by:')
  		self.buttons = []
! 		self.w.button_calls = W.RadioButton((54, 4, 45, 12), 'calls', self.buttons, self.setsort)
! 		self.w.button_time = W.RadioButton((104, 4, 40, 12), 'time', self.buttons, self.setsort)
! 		self.w.button_cumulative = W.RadioButton((154, 4, 75, 12), 'cumulative', self.buttons, self.setsort)
! 		self.w.button_stdname = W.RadioButton((234, 4, 60, 12), 'stdname', self.buttons, self.setsort)
  		self.w.button_calls.set(1)
- 		self.w.button_file = W.RadioButton((304, 4, 40, 12), 'file', self.buttons, self.setsort)
- 		self.w.button_line = W.RadioButton((354, 4, 50, 12), 'line', self.buttons, self.setsort)
- 		self.w.button_name = W.RadioButton((404, 4, 50, 12), 'name', self.buttons, self.setsort)
- ##		self.w.button_nfl = W.RadioButton((4, 4, 12, 12), 'nfl', self.buttons, self.setsort)
- ##		self.w.button_pcalls = W.RadioButton((4, 4, 12, 12), 'pcalls', self.buttons, self.setsort)
  		self.w.text = W.TextEditor((0, 21, -15, -15), inset = (6, 5), 
  				readonly = 1, wrap = 0, fontsettings = ('Monaco', 0, 9, (0, 0, 0)))
--- 31,45 ----
  		self.w.titlebar = W.TextBox((4, 4, 40, 12), 'Sort by:')
  		self.buttons = []
! 		x = 54
! 		width1 = 50
! 		width2 = 75
! 		for name in ["calls", "time", "cumulative", "stdname", "file", "line", "name"]:
! 			if len(name) > 6:
! 				width = width2
! 			else:
! 				width = width1
! 			self.w["button_" + name] = W.RadioButton((x, 4, width, 12), name, self.buttons, self.setsort)
! 			x += width + 10
  		self.w.button_calls.set(1)
  		self.w.text = W.TextEditor((0, 21, -15, -15), inset = (6, 5), 
  				readonly = 1, wrap = 0, fontsettings = ('Monaco', 0, 9, (0, 0, 0)))