PageRenderTime 194ms CodeModel.GetById 188ms app.highlight 3ms RepoModel.GetById 1ms app.codeStats 0ms

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

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