## rc-version: 9 ##
# RCS-ID: $Id: prefs.msw.rc.py,v 1.3 2005/05/18 13:34:46 riaan Exp $
#-Miscellaneous-----------------------------------------------------------------
# Style of the Error/Output window's notebook.
## options: 'text', 'full', 'side'
eoErrOutNotebookStyle = 'full'
#-Explorer----------------------------------------------------------------------
# Should sorting in the explorer be case insensitive
exCaseInsensitiveSorting = True
#-Editor------------------------------------------------------------------------
# Should there be submenu with all the items from the New palete under the
# Editor's File menu.
edShowFileNewMenu = True
# Should a custom wxSTC paint handler he installed which minimizes refresing?
edUseCustomSTCPaintEvtHandler = True
# There is a problem with folding on GTK
edSTCFolding = True
#-Window settings---------------------------------------------------------------
# Height of the Palette window. Adjust if you use big fonts
paletteHeights = {'tabs': 120, 'menu': 74}
# Used my Mac toplevel main menu
topMenuHeight = 0
# The amount of space Boa should leave on the right for a vertical OS Taskbar.
verticalTaskbarWidth = 0
# The amount of space Boa should leave from the bottom for a horizontal OS Taskbar.
horizontalTaskbarHeight = 50
# Percentage of the with that the Editor window should occupy
editorScreenWidthPerc = 0.73
# Window manager dependent values useful for mostly for GTK
windowManagerTop = 0
windowManagerBottom = 0
windowManagerSide = 0
# Font size of the text in the Inspector's statusbar
inspStatBarFontSize = 9
# Match braces in code
braceHighLight = True
# Minimize the IDE while running applications
minimizeOnRun = True
# Minimize the IDE when using Debug/Continue while debugging
minimizeOnDebug = True
explorerFileSysRootDefault = ('DRIVE:\\', 'C:\\')
#-Designer----------------------------------------------------------------------
# Draw grid in designer
drawDesignerGrid = True
# Also draw grid for child container controls in the frame
drawDesignerGridForSubWindows = True
# Grid drawing method
## options: 'lines', 'dots', 'grid'
drawGridMethod = 'grid'
# Grayout (blueout actually) source while designer is open
grayoutSource = True
# Editable preferences
exportedProperties2 = ['exCaseInsensitiveSorting', 'eoErrOutNotebookStyle',
'edShowFileNewMenu', 'edSTCFolding', 'verticalTaskbarWidth',
'horizontalTaskbarHeight', 'editorScreenWidthPerc',
'windowManagerTop', 'windowManagerBottom', 'windowManagerSide',
'braceHighLight', 'minimizeOnRun', 'minimizeOnDebug', 'inspStatBarFontSize',
'drawDesignerGrid', 'drawDesignerGridForSubWindows', 'drawGridMethod',
'grayoutSource',
]
|