/jEdit/branches/jedit43_nostrings/org/gjt/sp/jedit/jedit.props

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