PageRenderTime 60ms CodeModel.GetById 57ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/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
  1###
  2### jEdit global properties
  3### :tabSize=8:indentSize=8:noTabs=false:
  4### :folding=explicit:collapseFolds=1:
  5###
  6### Copyright (C) 1998, 2001 Slava Pestov
  7###
  8
  9#{{{ Global settings
 10
 11# Swing look and feel
 12#lookAndFeel=javax.swing.plaf.metal.MetalLookAndFeel
 13
 14#{{{ Metal control and menu font
 15metal.primary.font=Dialog
 16metal.primary.fontsize=12
 17metal.primary.fontstyle=0
 18#}}}
 19
 20#{{{ Metal system and user text font
 21metal.secondary.font=Dialog
 22metal.secondary.fontsize=12
 23metal.secondary.fontstyle=0
 24#}}}
 25
 26# If true, welcome screen will be displayed.
 27# Set to false after initial startup.
 28firstTime=true
 29
 30# Autosave interval in seconds, 0=off
 31autosave=30
 32
 33# Maximum number of elements in a history list
 34history=20
 35
 36# Number of files for which to remember caret positions
 37recentFiles=50
 38
 39# Restore open files on startup?
 40restore=true
 41
 42# Restore even if file names specified on command line?
 43restore.cli=false
 44
 45# Client instances open new views?
 46client.newView=false
 47
 48# Persistent markers
 49persistentMarkers=true
 50
 51# Two-stage save (save to #filename#save# first, then filename)
 52twoStageSave=true
 53
 54# Caret saving toggle
 55saveCaret=true
 56
 57# Parse files fully when loading for syntax info
 58parseFully=false
 59
 60# Backup on every save
 61backupEverySave=false
 62
 63# I/O thread count
 64ioThreadCount=4
 65
 66# Number of backups to make, 0=no backups
 67backups=1
 68
 69# Backup directory
 70backup.directory=
 71
 72# Backup filename prefix and suffix
 73backup.prefix=
 74backup.suffix=~
 75
 76# Sort buffer list
 77sortBuffers=true
 78sortByName=true
 79
 80# Sort recent file list
 81sortRecent=false
 82
 83#}}}
 84
 85#{{{ Buffer settings
 86# These can also be specified as buffer-local properties
 87
 88# Line separator
 89# The OS default will be used if this is not specified
 90# Unix=\n
 91# Windows=\r\n
 92# MacOS=\r
 93#buffer.lineSeparator=\n
 94
 95# Encoding
 96# The OS default will be used if this is not specified
 97#buffer.encoding=ISO8859_1
 98
 99# Tab width
100buffer.tabSize=8
101
102# Indent width
103buffer.indentSize=8
104
105# Soft tabs
106buffer.noTabs=false
107
108# Auto indent
109buffer.indentOnTab=true
110buffer.indentOnEnter=true
111
112# Default edit mode
113buffer.defaultMode=text
114
115# Undo queue size
116buffer.undoCount=100
117
118# Wrap column
119buffer.maxLineLen=0
120
121# Word break characters
122buffer.wordBreakChars=
123
124# Non-alphanumeric word characters
125buffer.noWordSep=_
126
127# Fold mode (explicit, indent, or none)
128buffer.folding=none
129
130# Folds with a level equal to or higher than this will be collapsed
131buffer.collapseFolds=0
132
133# We need this so that new files are saved with a trailing newline
134buffer.trailingEOL=true
135
136#}}}
137
138#{{{ View settings
139
140# Apply jEdit colors to Swing text fields, text areas, lists, tables and trees?
141textColors=false
142
143# Show toolbar?
144view.showToolbar=true
145
146# Show searchbar?
147view.showSearchbar=true
148
149# Show buffer switcher?
150view.showBufferSwitcher=true
151
152# Show full path in title bar?
153view.showFullPath=false
154
155# Check modification status on focus?
156view.checkModStatus=true
157
158# Font
159view.font=Monospaced
160view.fontsize=12
161# 0=plain, 1=bold, 2=italic, 3=boldItalic
162view.fontstyle=0
163
164# Background and foreground colors (for the text area)
165view.bgColor=#ffffff
166view.fgColor=#000000
167
168# Folded line
169view.foldedLineColor=#e8e8e8
170
171# Line highlighting
172view.lineHighlight=true
173view.lineHighlightColor=#ffffe0
174
175# Bracket highlighting
176view.bracketHighlight=true
177view.bracketHighlightColor=#000000
178
179# EOL markers
180view.eolMarkers=true
181view.eolMarkerColor=#009999
182
183# Wrap guide
184view.wrapGuide=true
185view.wrapGuideColor=#8080ff
186
187# Caret color
188view.caretColor=#ff0000
189
190# Selection color
191view.selectionColor=#ccccff
192
193# Caret blinking
194view.caretBlink=true
195
196# Block caret
197view.blockCaret=false
198
199# Electric borders
200view.electricBorders=3
201
202# Smart home/end
203view.homeEnd=true
204
205# Middle mouse button pastes % register
206view.middleMousePaste=true
207
208#{{{ Gutter
209
210# Gutter background color
211view.gutter.bgColor=#ffffff
212
213# Gutter foreground color
214view.gutter.fgColor=#000000
215
216# Gutter highlight color
217view.gutter.highlightColor=#000066
218
219# Gutter current line highlight color
220view.gutter.currentLineColor=#d04040
221
222# Gutter bracket highlighting
223view.gutter.bracketHighlight=true
224view.gutter.bracketHighlightColor=#666699
225
226# Gutter marker highlight color
227view.gutter.markerColor=#ccffcc
228
229# Gutter border colors
230view.gutter.focusBorderColor=#666699
231view.gutter.noFocusBorderColor=#a0a0b4
232
233# Fold triangle color
234view.gutter.foldColor=#666699
235
236# Gutter font name
237view.gutter.font=Monospaced
238
239# Gutter font style
240# 0=plain, 1=bold, 2=italic, 3=boldItalic
241view.gutter.fontstyle=0
242
243# Gutter font size
244view.gutter.fontsize=10
245
246# Gutter border width
247view.gutter.borderWidth=2
248
249# Gutter displays line numbers
250view.gutter.lineNumbers=false
251
252# Line numbers are drawn with this alignment (left, center, right)
253view.gutter.numberAlignment=right
254
255# Gutter line numbers are highlighted at this interval
256view.gutter.highlightInterval=5
257
258# Gutter current line highlighting
259view.gutter.highlightCurrentLine=true
260
261# Marker highlight
262view.gutter.markerHighlight=true
263
264#}}}
265
266# Expand abbrevs when space bar pressed
267view.expandOnInput=false
268
269#{{{ Syntax styles
270view.style.comment1=color:#006666 style:i
271view.style.comment2=color:#990033 style:i
272view.style.digit=color:#666600
273view.style.function=color:#000066
274view.style.invalid=color:#ff0000
275view.style.keyword1=color:#000000 style:b
276view.style.keyword2=color:#660066 style:b
277view.style.keyword3=color:#000066 style:b
278view.style.label=color:#990033 style:ib
279view.style.literal1=color:#404040
280view.style.literal2=color:#404040
281view.style.markup=color:#5e5e5e style:b
282view.style.operator=style:b
283#}}}
284
285# Java 2 only
286view.antiAlias=false
287view.fracFontMetrics=false
288
289# Docking
290view.docking.alternateLayout=false
291view.docking.tabsPos=0
292
293#}}}
294
295#{{{ Printing settings
296
297# Font
298print.font=Monospaced
299print.fontsize=10
300print.fontstyle=0
301
302# Print header?
303print.header=true
304
305# Print footer?
306print.footer=true
307
308# Print line numbers?
309print.lineNumbers=true
310
311# Use style and color info from defined SyntaxStyles?
312print.style=true
313print.color=false
314
315# Margins
316print.margin.top=0.5
317print.margin.left=0.5
318print.margin.bottom=0.5
319print.margin.right=0.5
320
321#}}}
322
323#{{{ File system browser settings
324
325vfs.browser.showToolbar=true
326vfs.browser.showIcons=true
327vfs.browser.showHiddenFiles=false
328vfs.browser.sortFiles=true
329vfs.browser.sortMixFilesAndDirs=false
330vfs.browser.sortIgnoreCase=true
331vfs.browser.doubleClickClose=false
332vfs.browser.currentBufferFilter=true
333
334# Can be one of: buffer, home, favorites, last
335vfs.browser.defaultPath=buffer
336
337# File list coloring
338vfs.browser.colorize=true
339
340vfs.browser.colors.0.glob={CVS,#*,*~}
341vfs.browser.colors.0.color=#a0a0a0
342vfs.browser.colors.1.glob=*.class
343vfs.browser.colors.1.color=#660066
344vfs.browser.colors.2.glob={build.xml,makefile*}
345vfs.browser.colors.2.color=#666600
346vfs.browser.colors.3.glob=*.{gif,jpg,jpeg,png,bmp,xpm,svg}
347vfs.browser.colors.3.color=#009933
348vfs.browser.colors.4.glob=*.{gz,jar,zip,tgz,z}
349vfs.browser.colors.4.color=#990000
350vfs.browser.colors.5.glob=tags
351vfs.browser.colors.5.color=#003366
352
353#}}}