/jEdit/tags/jedit-4-0-pre3/org/gjt/sp/jedit/jedit.props

###
### jEdit global properties
### :tabSize=8:indentSize=8:noTabs=false:
### :folding=explicit:collapseFolds=1:
###
### Copyright (C) 1998, 2001 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
#}}}

# 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 files for which to remember caret positions
recentFiles=50

# Restore open files on startup?
restore=true

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

# Client instances open new views?
client.newView=false

# Persistent markers
persistentMarkers=true

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

# Caret saving toggle
saveCaret=true

# Parse files fully when loading for syntax info
parseFully=false

# Backup on every save
backupEverySave=false

# I/O thread count
ioThreadCount=4

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

# Backup directory
backup.directory=

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

# Sort buffer list
sortBuffers=true
sortByName=true

# Sort recent file list
sortRecent=false

#}}}

#{{{ 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

# Tab width
buffer.tabSize=8

# Indent width
buffer.indentSize=8

# Soft tabs
buffer.noTabs=false

# Auto indent
buffer.indentOnTab=true
buffer.indentOnEnter=true

# Default edit mode
buffer.defaultMode=text

# Undo queue size
buffer.undoCount=100

# Wrap column
buffer.maxLineLen=0

# 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

# We need this so that new files are saved with a trailing newline
buffer.trailingEOL=true

#}}}

#{{{ 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=true

# Show buffer switcher?
view.showBufferSwitcher=true

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

# Check modification status on focus?
view.checkModStatus=true

# 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

# Folded line
view.foldedLineColor=#e8e8e8

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

# Bracket highlighting
view.bracketHighlight=true
view.bracketHighlightColor=#000000

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

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

# Caret color
view.caretColor=#ff0000

# Selection color
view.selectionColor=#ccccff

# Caret blinking
view.caretBlink=true

# Block caret
view.blockCaret=false

# Electric borders
view.electricBorders=3

# Smart home/end
view.homeEnd=true

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

#{{{ Gutter

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

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

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

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

# Gutter bracket highlighting
view.gutter.bracketHighlight=true
view.gutter.bracketHighlightColor=#666699

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

# Gutter border colors
view.gutter.focusBorderColor=#666699
view.gutter.noFocusBorderColor=#a0a0b4

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

# 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

#}}}

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

#{{{ Syntax styles
view.style.comment1=color:#006666 style:i
view.style.comment2=color:#990033 style:i
view.style.digit=color:#666600
view.style.function=color:#000066
view.style.invalid=color:#ff0000
view.style.keyword1=color:#000000 style:b
view.style.keyword2=color:#660066 style:b
view.style.keyword3=color:#000066 style:b
view.style.label=color:#990033 style:ib
view.style.literal1=color:#404040
view.style.literal2=color:#404040
view.style.markup=color:#5e5e5e style:b
view.style.operator=style:b
#}}}

# Java 2 only
view.antiAlias=false
view.fracFontMetrics=false

# Docking
view.docking.alternateLayout=false
view.docking.tabsPos=0

#}}}

#{{{ Printing settings

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

# Print header?
print.header=true

# Print footer?
print.footer=true

# Print line numbers?
print.lineNumbers=true

# Use style and color info from defined SyntaxStyles?
print.style=true
print.color=false

# Margins
print.margin.top=0.5
print.margin.left=0.5
print.margin.bottom=0.5
print.margin.right=0.5

#}}}

#{{{ File system browser settings

vfs.browser.showToolbar=true
vfs.browser.showIcons=true
vfs.browser.showHiddenFiles=false
vfs.browser.sortFiles=true
vfs.browser.sortMixFilesAndDirs=false
vfs.browser.sortIgnoreCase=true
vfs.browser.doubleClickClose=false
vfs.browser.currentBufferFilter=true

# 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}
vfs.browser.colors.4.color=#990000
vfs.browser.colors.5.glob=tags
vfs.browser.colors.5.color=#003366

#}}}