PageRenderTime 37ms CodeModel.GetById 10ms RepoModel.GetById 0ms app.codeStats 0ms

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

#
MSBuild | 379 lines | 277 code | 102 blank | 0 comment | 4 complexity | bd802bae75fa275a97d4ba2d815a6ee6 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
  1. ###
  2. ### jEdit global properties
  3. ### :tabSize=8:indentSize=8:noTabs=false:
  4. ### :folding=explicit:collapseFolds=1:
  5. ###
  6. ### Copyright (C) 1998, 2002 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 files for which to remember caret positions
  32. recentFiles=50
  33. # Restore open files on startup?
  34. restore=true
  35. # Restore even if file names specified on command line?
  36. restore.cli=false
  37. # Client instances open new views?
  38. client.newView=false
  39. # Persistent markers
  40. persistentMarkers=true
  41. # Two-stage save (save to #filename#save# first, then filename)
  42. twoStageSave=true
  43. # Strip trailing EOL
  44. stripTrailingEOL=true
  45. # Need this so that new files have a trailing EOL
  46. buffer.trailingEOL=true
  47. # Caret saving toggle
  48. saveCaret=true
  49. # Backup on every save
  50. backupEverySave=false
  51. # I/O thread count
  52. ioThreadCount=4
  53. # Number of backups to make, 0=no backups
  54. backups=1
  55. # Backup directory
  56. backup.directory=
  57. # Backup filename prefix and suffix
  58. backup.prefix=
  59. backup.suffix=~
  60. # Sort buffer list
  61. sortBuffers=true
  62. sortByName=true
  63. # Sort recent file list
  64. sortRecent=false
  65. # Default firewall properties
  66. firewall.enabled=false
  67. # Keep dialog on by default
  68. search.keepDialog.toggle=true
  69. #}}}
  70. #{{{ Buffer settings
  71. # These can also be specified as buffer-local properties
  72. # Line separator
  73. # The OS default will be used if this is not specified
  74. # Unix=\n
  75. # Windows=\r\n
  76. # MacOS=\r
  77. #buffer.lineSeparator=\n
  78. # Encoding
  79. # The OS default will be used if this is not specified
  80. #buffer.encoding=ISO8859_1
  81. # Tab width
  82. buffer.tabSize=8
  83. # Indent width
  84. buffer.indentSize=8
  85. # Soft tabs
  86. buffer.noTabs=false
  87. # Auto indent
  88. buffer.indentOnTab=true
  89. # Default edit mode
  90. buffer.defaultMode=text
  91. # Undo queue size
  92. buffer.undoCount=100
  93. # Wrap mode (none, soft, hard)
  94. buffer.wrap=none
  95. # Wrap column
  96. buffer.maxLineLen=0
  97. # Word break characters
  98. buffer.wordBreakChars=
  99. # Non-alphanumeric word characters
  100. buffer.noWordSep=_
  101. # Fold mode (explicit, indent, or none)
  102. buffer.folding=none
  103. # Folds with a level equal to or higher than this will be collapsed
  104. buffer.collapseFolds=0
  105. #}}}
  106. #{{{ View settings
  107. # Apply jEdit colors to Swing text fields, text areas, lists, tables and trees?
  108. textColors=false
  109. # Show toolbar?
  110. view.showToolbar=true
  111. # Show searchbar?
  112. view.showSearchbar=false
  113. # Show buffer switcher?
  114. view.showBufferSwitcher=true
  115. # Show full path in title bar?
  116. view.showFullPath=false
  117. # Check modification status on focus?
  118. view.checkModStatus=true
  119. # Font
  120. view.font=Monospaced
  121. view.fontsize=12
  122. # 0=plain, 1=bold, 2=italic, 3=boldItalic
  123. view.fontstyle=0
  124. # Background and foreground colors (for the text area)
  125. view.bgColor=#ffffff
  126. view.fgColor=#000000
  127. # Line highlighting
  128. view.lineHighlight=true
  129. view.lineHighlightColor=#ffffe0
  130. # Bracket highlighting
  131. view.bracketHighlight=true
  132. view.bracketHighlightColor=#000000
  133. # EOL markers
  134. view.eolMarkers=true
  135. view.eolMarkerColor=#009999
  136. # Wrap guide
  137. view.wrapGuide=true
  138. view.wrapGuideColor=#8080ff
  139. # Caret color
  140. view.caretColor=#ff0000
  141. # Selection color
  142. view.selectionColor=#ccccff
  143. # Caret blinking
  144. view.caretBlink=true
  145. # Block caret
  146. view.blockCaret=false
  147. # Electric borders
  148. view.electricBorders=3
  149. # Treat consecutive non-alphanumeric characters as one word
  150. view.joinNonWordChars=true
  151. # Middle mouse button pastes % register
  152. view.middleMousePaste=false
  153. #{{{ Gutter
  154. # Gutter background color
  155. view.gutter.bgColor=#ffffff
  156. # Gutter foreground color
  157. view.gutter.fgColor=#000000
  158. # Gutter highlight color
  159. view.gutter.highlightColor=#000066
  160. # Gutter current line highlight color
  161. view.gutter.currentLineColor=#d04040
  162. # Gutter bracket highlighting
  163. view.gutter.bracketHighlight=true
  164. view.gutter.bracketHighlightColor=#666699
  165. # Gutter marker highlight color
  166. view.gutter.markerColor=#ccffcc
  167. # Gutter border colors
  168. view.gutter.focusBorderColor=#666699
  169. view.gutter.noFocusBorderColor=#a0a0b4
  170. # Fold triangle color
  171. view.gutter.foldColor=#666699
  172. # Gutter font name
  173. view.gutter.font=Monospaced
  174. # Gutter font style
  175. # 0=plain, 1=bold, 2=italic, 3=boldItalic
  176. view.gutter.fontstyle=0
  177. # Gutter font size
  178. view.gutter.fontsize=10
  179. # Gutter border width
  180. view.gutter.borderWidth=2
  181. # Gutter displays line numbers
  182. view.gutter.lineNumbers=false
  183. # Line numbers are drawn with this alignment (left, center, right)
  184. view.gutter.numberAlignment=right
  185. # Gutter line numbers are highlighted at this interval
  186. view.gutter.highlightInterval=5
  187. # Gutter current line highlighting
  188. view.gutter.highlightCurrentLine=true
  189. # Marker highlight
  190. view.gutter.markerHighlight=true
  191. # Click behavior
  192. view.gutter.gutterClick=toggleFold
  193. view.gutter.gutterShiftClick=toggleFoldFully
  194. view.gutter.gutterControlClick=selectFold
  195. view.gutter.gutterAltClick=toggleFold
  196. #}}}
  197. # Expand abbrevs when space bar pressed
  198. view.expandOnInput=false
  199. #{{{ Syntax styles
  200. view.style.comment1=color:#006666 style:i
  201. view.style.comment2=color:#990033 style:i
  202. view.style.digit=color:#666600
  203. view.style.function=color:#000066
  204. view.style.invalid=color:#ff0000
  205. view.style.keyword1=color:#000000 style:b
  206. view.style.keyword2=color:#660066 style:b
  207. view.style.keyword3=color:#000066 style:b
  208. view.style.label=color:#990033 style:ib
  209. view.style.literal1=color:#404040
  210. view.style.literal2=color:#404040
  211. view.style.markup=color:#5e5e5e style:b
  212. view.style.operator=style:b
  213. view.style.foldLine=bgColor:#e8e8e8 color:#009999 style:b
  214. #}}}
  215. # Fancy Java2D stuff
  216. view.antiAlias=false
  217. view.fracFontMetrics=false
  218. # Docking and tool bar positioning
  219. view.docking.alternateLayout=false
  220. view.toolbar.alternateLayout=false
  221. # Status bar
  222. view.status.memory.foreground=#cccccc
  223. view.status.memory.background=#666699a
  224. #}}}
  225. #{{{ Printing settings
  226. # Font
  227. print.font=Monospaced
  228. print.fontsize=9
  229. print.fontstyle=0
  230. # Print header?
  231. print.header=true
  232. # Print footer?
  233. print.footer=true
  234. # Print line numbers?
  235. print.lineNumbers=true
  236. # Print in color, or black and white?
  237. print.color=false
  238. # Print tab size
  239. print.tabSize=2
  240. #}}}
  241. #{{{ File system browser settings
  242. vfs.browser.showToolbar=true
  243. vfs.browser.showIcons=true
  244. vfs.browser.showHiddenFiles=false
  245. vfs.browser.sortMixFilesAndDirs=false
  246. vfs.browser.sortIgnoreCase=true
  247. vfs.browser.doubleClickClose=false
  248. vfs.browser.splitHorizontally=false
  249. # Can be one of: buffer, home, favorites, last
  250. vfs.browser.defaultPath=buffer
  251. # File list coloring
  252. vfs.browser.colorize=true
  253. vfs.browser.colors.0.glob={CVS,#*,*~,\\.*}
  254. vfs.browser.colors.0.color=#a0a0a0
  255. vfs.browser.colors.1.glob=*.class
  256. vfs.browser.colors.1.color=#660066
  257. vfs.browser.colors.2.glob={build.xml,makefile*}
  258. vfs.browser.colors.2.color=#666600
  259. vfs.browser.colors.3.glob=*.{gif,jpg,jpeg,png,bmp,xpm,svg}
  260. vfs.browser.colors.3.color=#009933
  261. vfs.browser.colors.4.glob=*.{gz,jar,zip,tgz,z}
  262. vfs.browser.colors.4.color=#990000
  263. vfs.browser.colors.5.glob=tags
  264. vfs.browser.colors.5.color=#003366
  265. vfs.browser.colors.6.glob=*.{sh,bat}
  266. vfs.browser.colors.6.color=#006666
  267. vfs.browser.colors.7.glob={CHANGELOG,CHANGES,INSTALL,LICENSE,NEWS,README,TODO}{,.txt}
  268. vfs.browser.colors.7.color=#330066
  269. vfs.browser.colors.8.glob=*.{props,properties}
  270. vfs.browser.colors.8.color=#666666
  271. #}}}
  272. #{{{ Hidden settings
  273. menu.spillover=20
  274. bufferSwitcher.maxRowCount=10
  275. showTooltips=true
  276. view.monospacedHack=false
  277. #}}}