equal
deleted
inserted
replaced
36 from dialogs import BrowseValuesLibraryDialog |
36 from dialogs import BrowseValuesLibraryDialog |
37 from util.BitmapLibrary import GetBitmap |
37 from util.BitmapLibrary import GetBitmap |
38 |
38 |
39 if wx.Platform == '__WXMSW__': |
39 if wx.Platform == '__WXMSW__': |
40 faces = { 'times': 'Times New Roman', |
40 faces = { 'times': 'Times New Roman', |
41 'mono' : 'Courier New', |
41 'mono': 'Courier New', |
42 'helv' : 'Arial', |
42 'helv': 'Arial', |
43 'other': 'Comic Sans MS', |
43 'other': 'Comic Sans MS', |
44 'size' : 16, |
44 'size': 16, |
45 } |
45 } |
46 else: |
46 else: |
47 faces = { 'times': 'Times', |
47 faces = { 'times': 'Times', |
48 'mono' : 'Courier', |
48 'mono': 'Courier', |
49 'helv' : 'Helvetica', |
49 'helv': 'Helvetica', |
50 'other': 'new century schoolbook', |
50 'other': 'new century schoolbook', |
51 'size' : 18, |
51 'size': 18, |
52 } |
52 } |
53 |
53 |
54 SCROLLBAR_UNIT = 10 |
54 SCROLLBAR_UNIT = 10 |
55 |
55 |
56 |
56 |