PageRenderTime 97ms CodeModel.GetById 92ms app.highlight 2ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-3-pre5/org/gjt/sp/jedit/jedit.props

#
MSBuild | 429 lines | 323 code | 106 blank | 0 comment | 5 complexity | ba5b482602fae678e2818d70f007589f 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, 2003 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# Decorate frames and dialogs using Swing L&F? (JDK 1.4 only)
 27decorate.frames=false
 28decorate.dialogs=false
 29
 30# If true, welcome screen will be displayed.
 31# Set to false after initial startup.
 32firstTime=true
 33
 34# Autosave interval in seconds, 0=off
 35autosave=30
 36
 37# Maximum number of elements in a history list
 38history=20
 39
 40# Number of recent files
 41recentFiles=40
 42
 43# Restore open files on startup?
 44restore=true
 45
 46# Restore even if file names specified on command line?
 47restore.cli=true
 48
 49# Persistent markers
 50persistentMarkers=true
 51
 52# Two-stage save (save to #filename#save# first, then filename)
 53twoStageSave=true
 54
 55# Strip trailing EOL
 56stripTrailingEOL=true
 57
 58# Need this so that new files have a trailing EOL
 59buffer.trailingEOL=true
 60
 61# Caret saving toggle
 62saveCaret=true
 63
 64# Backup on every save
 65backupEverySave=false
 66
 67# Number of backups to make, 0=no backups
 68backups=1
 69
 70# Backup directory
 71backup.directory=
 72
 73# Backup filename prefix and suffix
 74backup.prefix=
 75backup.suffix=~
 76
 77# Min time between backups (0 = always backup)
 78backup.minTime=0
 79
 80# Sort buffer list
 81sortBuffers=true
 82sortByName=true
 83
 84# Sort recent file list
 85sortRecent=false
 86
 87# Default firewall properties
 88firewall.enabled=false
 89
 90# Keep dialog on by default
 91search.keepDialog.toggle=true
 92
 93# Confirm dialogs
 94confirmSaveAll=true
 95
 96# Check modification status on focus?
 97
 98# If this is true, show a dialog; if false, do nothing
 99autoReloadDialog=true
100
101# If this is true, auto reload; if false, 'reload' button in dialog
102autoReload=true
103
104#}}}
105
106#{{{ Buffer settings
107# These can also be specified as buffer-local properties
108
109# Line separator
110# The OS default will be used if this is not specified
111# Unix=\n
112# Windows=\r\n
113# MacOS=\r
114#buffer.lineSeparator=\n
115
116# Encoding
117# The OS default will be used if this is not specified
118#buffer.encoding=ISO8859_1
119
120# Auto-detect GZIP, UTF16, UTF8 and XML encodings?
121buffer.encodingAutodetect=true
122
123# Tab width
124buffer.tabSize=8
125
126# Indent width
127buffer.indentSize=8
128
129# Soft tabs
130buffer.noTabs=false
131
132# Default edit mode
133buffer.defaultMode=text
134
135# Undo queue size
136buffer.undoCount=100
137
138# Wrap mode (none, soft, hard)
139buffer.wrap=none
140
141# Wrap column
142buffer.maxLineLen=80
143
144# Word break characters
145buffer.wordBreakChars=
146
147# Non-alphanumeric word characters
148buffer.noWordSep=_
149
150# Fold mode (explicit, indent, or none)
151buffer.folding=none
152
153# Folds with a level equal to or higher than this will be collapsed
154buffer.collapseFolds=0
155#}}}
156
157#{{{ View settings
158
159# Apply jEdit colors to Swing text fields, text areas, lists, tables and trees?
160textColors=false
161
162# Show toolbar?
163view.showToolbar=true
164
165# Show searchbar?
166view.showSearchbar=false
167
168# Show buffer switcher?
169view.showBufferSwitcher=true
170
171# Show full path in title bar?
172view.showFullPath=false
173
174# Font
175view.font=Monospaced
176view.fontsize=12
177# 0=plain, 1=bold, 2=italic, 3=boldItalic
178view.fontstyle=0
179
180# Background and foreground colors (for the text area)
181view.bgColor=#ffffff
182view.fgColor=#000000
183
184# Line highlighting
185view.lineHighlight=true
186view.lineHighlightColor=#ffffe0
187
188# Bracket highlighting
189view.structureHighlight=true
190view.structureHighlightColor=#000000
191
192# EOL markers
193view.eolMarkers=true
194view.eolMarkerColor=#ff6633
195
196# Wrap guide
197view.wrapGuide=true
198view.wrapGuideColor=#8080ff
199
200# Caret color
201view.caretColor=#ff0000
202
203# Selection color
204view.selectionColor=#ccccff
205view.multipleSelectionColor=#ccffcc
206
207# Caret blinking
208view.caretBlink=true
209
210# Block caret
211view.blockCaret=false
212
213# Electric borders
214view.electricBorders=3
215
216# Treat consecutive non-alphanumeric characters as one word
217view.joinNonWordChars=true
218
219# Middle mouse button pastes % register
220view.middleMousePaste=false
221
222# Drag and drop of text
223view.dragAndDrop=true
224
225#{{{ Gutter
226
227# Gutter background color
228view.gutter.bgColor=#dbdbdb
229
230# Gutter foreground color
231view.gutter.fgColor=#000000
232
233# Gutter highlight color
234view.gutter.highlightColor=#990066
235
236# Gutter current line highlight color
237view.gutter.currentLineColor=#ff0033
238
239# Gutter bracket highlighting
240view.gutter.structureHighlight=true
241view.gutter.structureHighlightColor=#666699
242
243# Gutter marker highlight color
244view.gutter.markerColor=#ccffcc
245
246# Gutter border colors
247view.gutter.focusBorderColor=#990099
248view.gutter.noFocusBorderColor=#ffffff
249
250# Fold triangle color
251view.gutter.foldColor=#838383
252
253# Gutter font name
254view.gutter.font=Monospaced
255
256# Gutter font style
257# 0=plain, 1=bold, 2=italic, 3=boldItalic
258view.gutter.fontstyle=0
259
260# Gutter font size
261view.gutter.fontsize=10
262
263# Gutter border width
264view.gutter.borderWidth=2
265
266# Gutter displays line numbers
267view.gutter.lineNumbers=false
268
269# Line numbers are drawn with this alignment (left, center, right)
270view.gutter.numberAlignment=right
271
272# Gutter line numbers are highlighted at this interval
273view.gutter.highlightInterval=5
274
275# Gutter current line highlighting
276view.gutter.highlightCurrentLine=true
277
278# Marker highlight
279view.gutter.markerHighlight=true
280
281# Click behavior
282view.gutter.foldClick=toggle-fold
283view.gutter.SfoldClick=toggle-fold-fully
284view.gutter.CfoldClick=select-fold
285view.gutter.AfoldClick=narrow-fold
286view.gutter.structClick=match-struct
287view.gutter.CstructClick=select-struct
288view.gutter.AstructClick=narrow-struct
289#}}}
290
291# Expand abbrevs when space bar pressed
292view.expandOnInput=false
293
294#{{{ Syntax styles
295view.style.comment1=color:#cc0000
296view.style.comment2=color:#ff8400
297view.style.comment3=color:#6600cc
298view.style.comment4=color:#cc6600
299view.style.digit=color:#ff0000
300view.style.foldLine.0=color:#000000 bgColor:#dafeda style:b
301view.style.foldLine.1=color:#000000 bgColor:#fff0cc style:b
302view.style.foldLine.2=color:#000000 bgColor:#e7e7ff style:b
303view.style.foldLine.3=color:#000000 bgColor:#ffe0f0 style:b
304view.style.function=color:#9966ff
305view.style.invalid=color:#ff0066 bgColor:#ffffcc
306view.style.keyword1=color:#006699 style:b
307view.style.keyword2=color:#009966 style:b
308view.style.keyword3=color:#0099ff style:b
309view.style.keyword4=color:#66ccff style:b
310view.style.label=color:#02b902
311view.style.literal1=color:#ff00cc
312view.style.literal2=color:#cc00cc
313view.style.literal3=color:#9900cc
314view.style.literal4=color:#6600cc
315view.style.markup=color:#0000ff
316view.style.operator=color:#000000 style:b
317#}}}
318
319# Fancy Java2D stuff
320view.antiAlias=false
321view.fracFontMetrics=false
322
323# Docking and tool bar positioning
324view.docking.alternateLayout=false
325view.toolbar.alternateLayout=false
326
327#{{{ Status bar
328view.status.foreground=black
329view.status.background=white
330view.status.visible=true
331view.status.show-caret-status=true
332view.status.show-edit-mode=true
333view.status.show-fold-mode=true
334view.status.show-encoding=true
335view.status.show-wrap=true
336view.status.show-multi-select=true
337view.status.show-rect-select=true
338view.status.show-overwrite=true
339view.status.show-line-seperator=true
340view.status.show-memory=true
341view.status.show-clock=false
342view.status.memory.foreground=#cccccc
343view.status.memory.background=#666699a
344#}}}
345
346#}}}
347
348#{{{ Printing settings
349
350# Font
351print.font=Monospaced
352print.fontsize=9
353print.fontstyle=0
354
355# Print header?
356print.header=true
357
358# Print footer?
359print.footer=true
360
361# Print line numbers?
362print.lineNumbers=true
363
364# Print in color, or black and white?
365print.color=false
366
367# Print tab size
368print.tabSize=2
369
370# Force JDK 1.3 API even on 1.4
371print.force13=false
372
373# Force use of glyph vectors to work around spacing problems
374print.glyphVector=false
375#}}}
376
377#{{{ File system browser settings
378vfs.browser.showMenubar=true
379vfs.browser.showToolbar=true
380vfs.browser.showIcons=true
381vfs.browser.showHiddenFiles=false
382vfs.browser.sortMixFilesAndDirs=false
383vfs.browser.sortIgnoreCase=true
384vfs.browser.doubleClickClose=false
385vfs.browser.currentBufferFilter=false
386
387# Can be one of: buffer, home, favorites, last
388vfs.browser.defaultPath=buffer
389
390# File list coloring
391vfs.browser.colorize=true
392
393vfs.browser.colors.0.glob={CVS,#*,*~,\\.*}
394vfs.browser.colors.0.color=#a0a0a0
395vfs.browser.colors.1.glob=*.class
396vfs.browser.colors.1.color=#660066
397vfs.browser.colors.2.glob={build.xml,makefile*}
398vfs.browser.colors.2.color=#666600
399vfs.browser.colors.3.glob=*.{gif,jpg,jpeg,png,bmp,xpm,svg}
400vfs.browser.colors.3.color=#009933
401vfs.browser.colors.4.glob=*.{gz,jar,zip,tgz,z,war,ear}
402vfs.browser.colors.4.color=#990000
403vfs.browser.colors.5.glob=tags
404vfs.browser.colors.5.color=#003366
405vfs.browser.colors.6.glob=*.{sh,bat,cmd}
406vfs.browser.colors.6.color=#006666
407vfs.browser.colors.7.glob={CHANGELOG,CHANGES,INSTALL,LICENSE,NEWS,README,TODO}{,.txt}
408vfs.browser.colors.7.color=#330066
409vfs.browser.colors.8.glob=*.{props,properties}
410vfs.browser.colors.8.color=#666666
411
412#}}}
413
414#{{{ Plugin manager settings
415plugin-manager.downloadSource=false
416plugin-manager.installUser=true
417plugin-manager.showAll=true
418plugin-manager.mirror.id=NONE
419plugin-manager.deleteDownloads=true
420plugin-manager.hide-libraries.toggle=true
421#}}}
422
423#{{{ Hidden settings
424menu.spillover=20
425bufferSwitcher.maxRowCount=10
426showTooltips=true
427ioThreadCount=4
428server.brokenToFront=false
429#}}}