jedit.props 1.9 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364
  1. # --- Arch Linux defaults for jEdit ---
  2. #
  3. # Just remove this file (~/.jedit/properties) to use the original jEdit defaults.
  4. #
  5. # startup
  6. firstTime=false
  7. tip.show=false
  8. # buffers
  9. buffer.tabSize=4
  10. buffer.indentSize=4
  11. buffer.encoding=UTF-8
  12. buffer.maxLineLen=99
  13. # look and feel, fonts and colors
  14. icon-theme=tango
  15. lookAndFeel=com.sun.java.swing.plaf.gtk.GTKLookAndFeel
  16. view.fontsize=14
  17. view.font=Noto Mono
  18. view.selectionFg=false
  19. view.antiAlias=standard
  20. view.caretColor=\#333333
  21. view.lineHighlightColor=\#deebfb
  22. view.thickCaret=false
  23. view.selectionFgColor=\#000000
  24. view.extendedState=0
  25. view.wrapGuideColor=\#dedede
  26. view.structureHighlightColor=\#3d9bc4
  27. view.selectionColor=\#cccccc
  28. view.status.show-caret-virtual=true
  29. view.status.foreground=\#000000
  30. view.status.show-caret-linenumber=true
  31. view.status.show-caret-bufferlength=true
  32. view.status.background=\#ffffff
  33. view.status.show-caret-dot=true
  34. view.status.memory.background=\#66699a
  35. view.status.show-caret-offset=true
  36. view.style.invalid=color\:\#ff1e00 bgColor\:\#ffffcc
  37. view.style.digit=color\:\#330066
  38. view.style.literal4=color\:\#0182bc
  39. view.style.literal3=color\:\#0700cc
  40. view.style.literal2=color\:\#760000
  41. view.style.literal1=color\:\#90001c
  42. view.style.comment4=color\:\#a2a2a2
  43. view.style.label=color\:\#009500
  44. view.style.comment3=color\:\#868686
  45. view.style.comment2=color\:\#383838
  46. view.style.comment1=color\:\#434343
  47. view.style.keyword4=color\:\#00a228
  48. view.style.keyword3=color\:\#0b2700
  49. view.style.keyword2=color\:\#000066
  50. view.style.keyword1=color\:\#0033cc
  51. view.style.function=color\:\#006600
  52. view.style.operator=color\:\#000000
  53. view.gutter.fontsize=14
  54. view.gutter.font=Courier 10 Pitch
  55. view.gutter.highlightColor=\#660000
  56. view.gutter.selectionAreaBgColor=\#f0f0f0
  57. view.gutter.highlightInterval=10
  58. view.gutter.focusBorderColor=\#ececec
  59. view.gutter.highlightCurrentLine=false
  60. view.gutter.bgColor=\#f0f0f0
  61. view.gutter.currentLineColor=\#006699
  62. view.gutter.fgColor=\#3c3c3c
  63. view.gutter.selectionAreaWidth=12