#----------------------------------------------------------------------
# Name:        PrefsGTK.py
# Purpose:     wxGTK specific preferences
#
# Licence:     GPL
#----------------------------------------------------------------------



logFontSize = 10
srchCtrlOffset = 0
paletteHeight = 120

windowManagerTop = 16
windowManagerBottom = 7

editorProgressFudgePosX = -8
editorProgressFudgeSizeY = 2

# Try to use transparent bitmaps for palette
transparentPaletteBitmaps = 0

# Match braces in code
braceHighLight = 0

# Minimize the IDE while running applications
minimizeOnRun = 0

# These settings may be specific to Red Hat, change them if the help
# complains about missing files.
# Note: If you want to use different versions of the help, see Scripts/HelpScrpt.py
pythonDocsPath = '/usr/doc/python-docs-1.5.2/Doc'

wxWinDocsPath = '/usr/doc/wxPython-2.2.1'

inspStatBarFontSize = 13

explorerFileSysRootDefault = ('/', '/')

# Scintilla/wxStyledTextCtrl font definitions 
faces = { 'times'  : 'Times',
          'mono'   : 'Courier',
          'helv'   : 'Helvetica',
          'other'  : 'new century schoolbook',
          'size'   : 11,
          'lnsize' : 9,
          'backcol': '#FFFFFF',}
