/jEdit/tags/jedit-4-2-pre13/org/gjt/sp/jedit/jedit.props
# · MSBuild · 429 lines · 323 code · 106 blank · 0 comment · 0 complexity · ba5b482602fae678e2818d70f007589f MD5 · raw file
- ###
- ### 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
- #}}}