jedit.props

用java 编写的源码开放的文本编辑器。有很多有用的特性

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

# 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=~

# 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

#}}}

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

# Default edit mode
buffer.defaultMode=text

# Undo queue size
buffer.undoCount=100

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

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

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

# 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

# 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

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

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

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

# Click behavior
view.gutter.gutterClick=toggleFold
view.gutter.gutterShiftClick=toggleFoldFully
view.gutter.gutterControlClick=selectFold
view.gutter.gutterAltClick=toggleFold
#}}}

# 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
view.style.foldLine=bgColor:#e8e8e8 color:#009999 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.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-overwrite=true
view.status.show-line-seperator=true
view.status.show-memory=true
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

#}}}

#{{{ File system browser settings

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.splitHorizontally=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

#}}}

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