/jEdit/tags/jedit-4-2-pre14/org/gjt/sp/jedit/jedit.props

###
### jEdit global properties
### :tabSize=8:indentSize=8:noTabs=false:
### :folding=explicit:collapseFolds=1:
###
### Copyright (C) 1998, 2003 Slava Pestov
###

#{{{ Global settings

# Swing look and feel
#lookAndFeel=javax.swing.plaf.metal.MetalLookAndFeel

#{{{ Metal control and menu font
metal.primary.font=Dialog
metal.primary.fontsize=12
metal.primary.fontstyle=0
#}}}

#{{{ Metal system and user text font
metal.secondary.font=Dialog
metal.secondary.fontsize=12
metal.secondary.fontstyle=0
#}}}

# Decorate frames and dialogs using Swing L&F? (JDK 1.4 only)
decorate.frames=false
decorate.dialogs=false

# If true, welcome screen will be displayed.
# Set to false after initial startup.
firstTime=true

# Autosave interval in seconds, 0=off
autosave=30

# Maximum number of elements in a history list
history=20

# Number of recent files
recentFiles=40

# Restore open files on startup?
restore=true

# Restore even if file names specified on command line?
restore.cli=true

# Persistent markers
persistentMarkers=true

# Two-stage save (save to #filename#save# first, then filename)
twoStageSave=true

# Strip trailing EOL
stripTrailingEOL=true

# Need this so that new files have a trailing EOL
buffer.trailingEOL=true

# Caret saving toggle
saveCaret=true

# Backup on every save
backupEverySave=false

# Number of backups to make, 0=no backups
backups=1

# Backup directory
backup.directory=

# Backup filename prefix and suffix
backup.prefix=
backup.suffix=~

# Min time between backups (0 = always backup)
backup.minTime=0

# Sort buffer list
sortBuffers=true
sortByName=true

# Sort recent file list
sortRecent=false

# Default firewall properties
firewall.enabled=false

# Keep dialog on by default
search.keepDialog.toggle=true

# Confirm dialogs
confirmSaveAll=true

# Check modification status on focus?

# If this is true, show a dialog; if false, do nothing
autoReloadDialog=true

# If this is true, auto reload; if false, 'reload' button in dialog
autoReload=true

#}}}

#{{{ Buffer settings
# These can also be specified as buffer-local properties

# Line separator
# The OS default will be used if this is not specified
# Unix=\n
# Windows=\r\n
# MacOS=\r
#buffer.lineSeparator=\n

# Encoding
# The OS default will be used if this is not specified
#buffer.encoding=ISO8859_1

# Auto-detect GZIP, UTF16, UTF8 and XML encodings?
buffer.encodingAutodetect=true

# Tab width
buffer.tabSize=8

# Indent width
buffer.indentSize=8

# Soft tabs
buffer.noTabs=false

# Default edit mode
buffer.defaultMode=text

# Undo queue size
buffer.undoCount=100

# Wrap mode (none, soft, hard)
buffer.wrap=none

# Wrap column
buffer.maxLineLen=80

# Word break characters
buffer.wordBreakChars=

# Non-alphanumeric word characters
buffer.noWordSep=_

# Fold mode (explicit, indent, or none)
buffer.folding=none

# Folds with a level equal to or higher than this will be collapsed
buffer.collapseFolds=0
#}}}

#{{{ View settings

# Apply jEdit colors to Swing text fields, text areas, lists, tables and trees?
textColors=false

# Show toolbar?
view.showToolbar=true

# Show searchbar?
view.showSearchbar=false

# Show buffer switcher?
view.showBufferSwitcher=true

# Show full path in title bar?
view.showFullPath=false

# Font
view.font=Monospaced
view.fontsize=12
# 0=plain, 1=bold, 2=italic, 3=boldItalic
view.fontstyle=0

# Background and foreground colors (for the text area)
view.bgColor=#ffffff
view.fgColor=#000000

# Line highlighting
view.lineHighlight=true
view.lineHighlightColor=#ffffe0

# Bracket highlighting
view.structureHighlight=true
view.structureHighlightColor=#000000

# EOL markers
view.eolMarkers=true
view.eolMarkerColor=#ff6633

# Wrap guide
view.wrapGuide=true
view.wrapGuideColor=#8080ff

# Caret color
view.caretColor=#ff0000

# Selection color
view.selectionColor=#ccccff
view.multipleSelectionColor=#ccffcc

# Caret blinking
view.caretBlink=true

# Block caret
view.blockCaret=false

# Electric borders
view.electricBorders=3

# Treat consecutive non-alphanumeric characters as one word
view.joinNonWordChars=true

# Middle mouse button pastes % register
view.middleMousePaste=false

# Drag and drop of text
view.dragAndDrop=true

#{{{ Gutter

# Gutter background color
view.gutter.bgColor=#dbdbdb

# Gutter foreground color
view.gutter.fgColor=#000000

# Gutter highlight color
view.gutter.highlightColor=#990066

# Gutter current line highlight color
view.gutter.currentLineColor=#ff0033

# Gutter bracket highlighting
view.gutter.structureHighlight=true
view.gutter.structureHighlightColor=#666699

# Gutter marker highlight color
view.gutter.markerColor=#ccffcc

# Gutter border colors
view.gutter.focusBorderColor=#990099
view.gutter.noFocusBorderColor=#ffffff

# Fold triangle color
view.gutter.foldColor=#838383

# Gutter font name
view.gutter.font=Monospaced

# Gutter font style
# 0=plain, 1=bold, 2=italic, 3=boldItalic
view.gutter.fontstyle=0

# Gutter font size
view.gutter.fontsize=10

# Gutter border width
view.gutter.borderWidth=2

# Gutter displays line numbers
view.gutter.lineNumbers=false

# Line numbers are drawn with this alignment (left, center, right)
view.gutter.numberAlignment=right

# Gutter line numbers are highlighted at this interval
view.gutter.highlightInterval=5

# Gutter current line highlighting
view.gutter.highlightCurrentLine=true

# Marker highlight
view.gutter.markerHighlight=true

# Click behavior
view.gutter.foldClick=toggle-fold
view.gutter.SfoldClick=toggle-fold-fully
view.gutter.CfoldClick=select-fold
view.gutter.AfoldClick=narrow-fold
view.gutter.structClick=match-struct
view.gutter.CstructClick=select-struct
view.gutter.AstructClick=narrow-struct
#}}}

# Expand abbrevs when space bar pressed
view.expandOnInput=false

#{{{ Syntax styles
view.style.comment1=color:#cc0000
view.style.comment2=color:#ff8400
view.style.comment3=color:#6600cc
view.style.comment4=color:#cc6600
view.style.digit=color:#ff0000
view.style.foldLine.0=color:#000000 bgColor:#dafeda style:b
view.style.foldLine.1=color:#000000 bgColor:#fff0cc style:b
view.style.foldLine.2=color:#000000 bgColor:#e7e7ff style:b
view.style.foldLine.3=color:#000000 bgColor:#ffe0f0 style:b
view.style.function=color:#9966ff
view.style.invalid=color:#ff0066 bgColor:#ffffcc
view.style.keyword1=color:#006699 style:b
view.style.keyword2=color:#009966 style:b
view.style.keyword3=color:#0099ff style:b
view.style.keyword4=color:#66ccff style:b
view.style.label=color:#02b902
view.style.literal1=color:#ff00cc
view.style.literal2=color:#cc00cc
view.style.literal3=color:#9900cc
view.style.literal4=color:#6600cc
view.style.markup=color:#0000ff
view.style.operator=color:#000000 style:b
#}}}

# Fancy Java2D stuff
view.antiAlias=false
view.fracFontMetrics=false

# Docking and tool bar positioning
view.docking.alternateLayout=false
view.toolbar.alternateLayout=false

#{{{ Status bar
view.status.foreground=black
view.status.background=white
view.status.visible=true
view.status.show-caret-status=true
view.status.show-edit-mode=true
view.status.show-fold-mode=true
view.status.show-encoding=true
view.status.show-wrap=true
view.status.show-multi-select=true
view.status.show-rect-select=true
view.status.show-overwrite=true
view.status.show-line-seperator=true
view.status.show-memory=true
view.status.show-clock=false
view.status.memory.foreground=#cccccc
view.status.memory.background=#666699a
#}}}

#}}}

#{{{ Printing settings

# Font
print.font=Monospaced
print.fontsize=9
print.fontstyle=0

# Print header?
print.header=true

# Print footer?
print.footer=true

# Print line numbers?
print.lineNumbers=true

# Print in color, or black and white?
print.color=false

# Print tab size
print.tabSize=2

# Force JDK 1.3 API even on 1.4
print.force13=false

# Force use of glyph vectors to work around spacing problems
print.glyphVector=false
#}}}

#{{{ File system browser settings
vfs.browser.showMenubar=true
vfs.browser.showToolbar=true
vfs.browser.showIcons=true
vfs.browser.showHiddenFiles=false
vfs.browser.sortMixFilesAndDirs=false
vfs.browser.sortIgnoreCase=true
vfs.browser.doubleClickClose=false
vfs.browser.currentBufferFilter=false

# Can be one of: buffer, home, favorites, last
vfs.browser.defaultPath=buffer

# File list coloring
vfs.browser.colorize=true

vfs.browser.colors.0.glob={CVS,#*,*~,\\.*}
vfs.browser.colors.0.color=#a0a0a0
vfs.browser.colors.1.glob=*.class
vfs.browser.colors.1.color=#660066
vfs.browser.colors.2.glob={build.xml,makefile*}
vfs.browser.colors.2.color=#666600
vfs.browser.colors.3.glob=*.{gif,jpg,jpeg,png,bmp,xpm,svg}
vfs.browser.colors.3.color=#009933
vfs.browser.colors.4.glob=*.{gz,jar,zip,tgz,z,war,ear}
vfs.browser.colors.4.color=#990000
vfs.browser.colors.5.glob=tags
vfs.browser.colors.5.color=#003366
vfs.browser.colors.6.glob=*.{sh,bat,cmd}
vfs.browser.colors.6.color=#006666
vfs.browser.colors.7.glob={CHANGELOG,CHANGES,INSTALL,LICENSE,NEWS,README,TODO}{,.txt}
vfs.browser.colors.7.color=#330066
vfs.browser.colors.8.glob=*.{props,properties}
vfs.browser.colors.8.color=#666666

#}}}

#{{{ Plugin manager settings
plugin-manager.downloadSource=false
plugin-manager.installUser=true
plugin-manager.showAll=true
plugin-manager.mirror.id=NONE
plugin-manager.deleteDownloads=true
plugin-manager.hide-libraries.toggle=true
#}}}

#{{{ Hidden settings
menu.spillover=20
bufferSwitcher.maxRowCount=10
showTooltips=true
ioThreadCount=4
server.brokenToFront=false
#}}}