options.user.json 1.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263
  1. {
  2. general: {
  3. // you need at least one project directoy here for fuzzy match and grep match file openers
  4. "MainControl_searchPaths": [
  5. // "/home/<your_user/projects/foo",
  6. ],
  7. "MainControl_excludePatterns": [
  8. // "/ignore-this-subfolder/",
  9. // "ignore-file.txt",
  10. ],
  11. // set this to the absolute path to override the default commands
  12. // commandsPath: "/home/<your_user>/commands.json",
  13. "MainControl_startupTabs": [
  14. { "type": "FuzzyOpener", "path": "", },
  15. ],
  16. "MainControl_openInPlace": 0,
  17. "MainControl_autoSortTabs": 0,
  18. // Theme Settings
  19. "Theme_path": "default_dark.json",
  20. },
  21. buffer: {
  22. "linesPerScrollWheel": 3,
  23. "cursorBlinkEnable": 1,
  24. "cursorBlinkOffTime": 0.600,
  25. "cursorBlinkOnTime": 0.600,
  26. "highlightCurrentLine": 1,
  27. "outlineCurrentLine": 1,
  28. "outlineCurrentLineYOffset": 0,
  29. "lineNumExtraWidth": 10,
  30. "lineNumBase": 10, // 2-36
  31. "showLineNums": 1,
  32. "charWidth": 8,
  33. "lineHeight": 17,
  34. "tabWidth": 4,
  35. "font": "Courier New",
  36. "fontSize": 14,
  37. "invertSelection": 1,
  38. "maxUndo": 4096,
  39. "statusBarHeight": 20,
  40. // "MainControl_searchPaths": ["foo", "bar"],
  41. },
  42. gui: {
  43. "hideScrollbar": 0,
  44. "hideStatusBar": 0,
  45. "fontList": [
  46. "Arial",
  47. "Courier New"
  48. ],
  49. "fontSize_fw": 14,
  50. },
  51. }