## rc-version: 9 ##
# RCS-ID:      $Id: prefs.gtk.rc.py,v 1.3 2005/05/18 13:34:45 riaan Exp $




# Style of the Error/Output window's notebook. GTK is text only
eoErrOutNotebookStyle = 'text'

#-Explorer----------------------------------------------------------------------

# Should sorting in the explorer be case insensitive
exCaseInsensitiveSorting = False

#-Editor------------------------------------------------------------------------
# Should there be submenu with all the items from the New palete under the
# Editor's File menu. Causes warnings under wxGTK.
edShowFileNewMenu = False

# Should a custom wxSTC paint handler he installed which minimizes refresing?
edUseCustomSTCPaintEvtHandler = False
# There is a problem with folding on GTK
edSTCFolding = False

#-Window settings---------------------------------------------------------------

# Height of the Palette window. Adjust if you use big fonts
paletteHeights = {'tabs': 100, 'menu': 56}
# 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 = 100
# Percentage of the with that the Editor window should occupy
editorScreenWidthPerc = 3.0/4.0

# Window manager dependent values useful for mostly for GTK
windowManagerTop = 16
windowManagerBottom = 7
windowManagerSide = 5

# Font size of the text in the Inspector's statusbar
inspStatBarFontSize = 13

# Match braces in code
braceHighLight = False

# Minimize the IDE while running applications
minimizeOnRun = False

# Minimize the IDE when using Debug/Continue while debugging 
minimizeOnDebug = False

explorerFileSysRootDefault = ('/', '/')

#-Designer----------------------------------------------------------------------

# Draw grid in designer
drawDesignerGrid = False
# Also draw grid for child container controls in the frame
drawDesignerGridForSubWindows = False
# Grid draw method: 'lines', 'dots', 'grid', NYI: 'bitmap'
## options: 'lines', 'dots', 'grid'
drawGridMethod = 'grid'

# Grayout (blueout actually) source while designer is open
grayoutSource = False


# Editable preferences
exportedProperties2 = ['exCaseInsensitiveSorting', 'edShowFileNewMenu',
 'edUseCustomSTCPaintEvtHandler', 'edSTCFolding', 'verticalTaskbarWidth',
 'horizontalTaskbarHeight', 'editorScreenWidthPerc',
 'windowManagerTop', 'windowManagerBottom', 'windowManagerSide',
 'braceHighLight', 'minimizeOnRun', 'minimizeOnDebug', 'inspStatBarFontSize', 
 'drawDesignerGrid', 'drawDesignerGridForSubWindows',  'drawGridMethod', 
 'grayoutSource',
]
