/jEdit/tags/jedit-4-0-pre3/org/gjt/sp/jedit/jedit.props
MSBuild | 353 lines | 255 code | 98 blank | 0 comment | 5 complexity | e3ffdb301b97e5cbd6649805103e9935 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
- ###
- ### 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
- #}}}