PageRenderTime 40ms CodeModel.GetById 18ms RepoModel.GetById 0ms 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
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, 2001 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. # Caret saving toggle
  44. saveCaret=true
  45. # Parse files fully when loading for syntax info
  46. parseFully=false
  47. # Backup on every save
  48. backupEverySave=false
  49. # I/O thread count
  50. ioThreadCount=4
  51. # Number of backups to make, 0=no backups
  52. backups=1
  53. # Backup directory
  54. backup.directory=
  55. # Backup filename prefix and suffix
  56. backup.prefix=
  57. backup.suffix=~
  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. #}}}
  68. #{{{ Buffer settings
  69. # These can also be specified as buffer-local properties
  70. # Line separator
  71. # The OS default will be used if this is not specified
  72. # Unix=\n
  73. # Windows=\r\n
  74. # MacOS=\r
  75. #buffer.lineSeparator=\n
  76. # Encoding
  77. # The OS default will be used if this is not specified
  78. #buffer.encoding=ISO8859_1
  79. # Tab width
  80. buffer.tabSize=8
  81. # Indent width
  82. buffer.indentSize=8
  83. # Soft tabs
  84. buffer.noTabs=false
  85. # Auto indent
  86. buffer.indentOnTab=true
  87. buffer.indentOnEnter=true
  88. # Default edit mode
  89. buffer.defaultMode=text
  90. # Undo queue size
  91. buffer.undoCount=100
  92. # Wrap mode (none, soft, hard)
  93. buffer.wrap=none
  94. # Wrap column
  95. buffer.maxLineLen=0
  96. # Word break characters
  97. buffer.wordBreakChars=
  98. # Non-alphanumeric word characters
  99. buffer.noWordSep=_
  100. # Fold mode (explicit, indent, or none)
  101. buffer.folding=none
  102. # Folds with a level equal to or higher than this will be collapsed
  103. buffer.collapseFolds=0
  104. # We need this so that new files are saved with a trailing newline
  105. buffer.trailingEOL=true
  106. #}}}
  107. #{{{ View settings
  108. # Apply jEdit colors to Swing text fields, text areas, lists, tables and trees?
  109. textColors=false
  110. # Show toolbar?
  111. view.showToolbar=true
  112. # Show searchbar?
  113. view.showSearchbar=true
  114. # Show buffer switcher?
  115. view.showBufferSwitcher=true
  116. # Show full path in title bar?
  117. view.showFullPath=false
  118. # Check modification status on focus?
  119. view.checkModStatus=true
  120. # Font
  121. view.font=Monospaced
  122. view.fontsize=12
  123. # 0=plain, 1=bold, 2=italic, 3=boldItalic
  124. view.fontstyle=0
  125. # Background and foreground colors (for the text area)
  126. view.bgColor=#ffffff
  127. view.fgColor=#000000
  128. # Folded line
  129. view.foldedLineColor=#e8e8e8
  130. # Line highlighting
  131. view.lineHighlight=true
  132. view.lineHighlightColor=#ffffe0
  133. # Bracket highlighting
  134. view.bracketHighlight=true
  135. view.bracketHighlightColor=#000000
  136. # EOL markers
  137. view.eolMarkers=true
  138. view.eolMarkerColor=#009999
  139. # Wrap guide
  140. view.wrapGuide=true
  141. view.wrapGuideColor=#8080ff
  142. # Caret color
  143. view.caretColor=#ff0000
  144. # Selection color
  145. view.selectionColor=#ccccff
  146. # Caret blinking
  147. view.caretBlink=true
  148. # Block caret
  149. view.blockCaret=false
  150. # Electric borders
  151. view.electricBorders=3
  152. # Smart home/end
  153. view.homeEnd=true
  154. # Middle mouse button pastes % register
  155. view.middleMousePaste=false
  156. #{{{ Gutter
  157. # Gutter background color
  158. view.gutter.bgColor=#ffffff
  159. # Gutter foreground color
  160. view.gutter.fgColor=#000000
  161. # Gutter highlight color
  162. view.gutter.highlightColor=#000066
  163. # Gutter current line highlight color
  164. view.gutter.currentLineColor=#d04040
  165. # Gutter bracket highlighting
  166. view.gutter.bracketHighlight=true
  167. view.gutter.bracketHighlightColor=#666699
  168. # Gutter marker highlight color
  169. view.gutter.markerColor=#ccffcc
  170. # Gutter border colors
  171. view.gutter.focusBorderColor=#666699
  172. view.gutter.noFocusBorderColor=#a0a0b4
  173. # Fold triangle color
  174. view.gutter.foldColor=#666699
  175. # Gutter font name
  176. view.gutter.font=Monospaced
  177. # Gutter font style
  178. # 0=plain, 1=bold, 2=italic, 3=boldItalic
  179. view.gutter.fontstyle=0
  180. # Gutter font size
  181. view.gutter.fontsize=10
  182. # Gutter border width
  183. view.gutter.borderWidth=2
  184. # Gutter displays line numbers
  185. view.gutter.lineNumbers=false
  186. # Line numbers are drawn with this alignment (left, center, right)
  187. view.gutter.numberAlignment=right
  188. # Gutter line numbers are highlighted at this interval
  189. view.gutter.highlightInterval=5
  190. # Gutter current line highlighting
  191. view.gutter.highlightCurrentLine=true
  192. # Marker highlight
  193. view.gutter.markerHighlight=true
  194. #}}}
  195. # Expand abbrevs when space bar pressed
  196. view.expandOnInput=false
  197. #{{{ Syntax styles
  198. view.style.comment1=color:#006666 style:i
  199. view.style.comment2=color:#990033 style:i
  200. view.style.digit=color:#666600
  201. view.style.function=color:#000066
  202. view.style.invalid=color:#ff0000
  203. view.style.keyword1=color:#000000 style:b
  204. view.style.keyword2=color:#660066 style:b
  205. view.style.keyword3=color:#000066 style:b
  206. view.style.label=color:#990033 style:ib
  207. view.style.literal1=color:#404040
  208. view.style.literal2=color:#404040
  209. view.style.markup=color:#5e5e5e style:b
  210. view.style.operator=style:b
  211. #}}}
  212. # Java 2 only
  213. view.antiAlias=false
  214. view.fracFontMetrics=false
  215. # Docking
  216. view.docking.alternateLayout=false
  217. view.docking.tabsPos=0
  218. #}}}
  219. #{{{ Printing settings
  220. # Font
  221. print.font=Monospaced
  222. print.fontsize=9
  223. print.fontstyle=0
  224. # Print header?
  225. print.header=true
  226. # Print footer?
  227. print.footer=true
  228. # Print line numbers?
  229. print.lineNumbers=true
  230. # Print in color, or black and white?
  231. print.color=false
  232. # Print tab size
  233. print.tabSize=2
  234. #}}}
  235. #{{{ File system browser settings
  236. vfs.browser.showToolbar=true
  237. vfs.browser.showIcons=true
  238. vfs.browser.showHiddenFiles=false
  239. vfs.browser.sortFiles=true
  240. vfs.browser.sortMixFilesAndDirs=false
  241. vfs.browser.sortIgnoreCase=true
  242. vfs.browser.doubleClickClose=false
  243. vfs.browser.currentBufferFilter=true
  244. vfs.browser.splitHorizontally=false
  245. # Can be one of: buffer, home, favorites, last
  246. vfs.browser.defaultPath=buffer
  247. # File list coloring
  248. vfs.browser.colorize=true
  249. vfs.browser.colors.0.glob={CVS,#*,*~}
  250. vfs.browser.colors.0.color=#a0a0a0
  251. vfs.browser.colors.1.glob=*.class
  252. vfs.browser.colors.1.color=#660066
  253. vfs.browser.colors.2.glob={build.xml,makefile*}
  254. vfs.browser.colors.2.color=#666600
  255. vfs.browser.colors.3.glob=*.{gif,jpg,jpeg,png,bmp,xpm,svg}
  256. vfs.browser.colors.3.color=#009933
  257. vfs.browser.colors.4.glob=*.{gz,jar,zip,tgz,z}
  258. vfs.browser.colors.4.color=#990000
  259. vfs.browser.colors.5.glob=tags
  260. vfs.browser.colors.5.color=#003366
  261. #}}}