options.user.json 1.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960
  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. // set this to the absolute path to override the default commands
  8. // commandsPath: "/home/<your_user>/commands.json",
  9. "MainControl_startupTabs": [
  10. { "type": "FuzzyOpener", "path": "", },
  11. ],
  12. "MainControl_openInPlace": 0,
  13. "MainControl_autoSortTabs": 0,
  14. // Theme Settings
  15. "Theme_path": "default_dark.json",
  16. },
  17. buffer: {
  18. "linesPerScrollWheel": 3,
  19. "cursorBlinkEnable": 1,
  20. "cursorBlinkOffTime": 0.600,
  21. "cursorBlinkOnTime": 0.600,
  22. "highlightCurrentLine": 1,
  23. "outlineCurrentLine": 1,
  24. "outlineCurrentLineYOffset": 0,
  25. "lineNumExtraWidth": 10,
  26. "lineNumBase": 10, // 2-36
  27. "showLineNums": 1,
  28. "charWidth": 8,
  29. "lineHeight": 17,
  30. "tabWidth": 4,
  31. "font": "Courier New",
  32. "fontSize": 14,
  33. "invertSelection": 1,
  34. "maxUndo": 4096,
  35. "statusBarHeight": 20,
  36. // "MainControl_searchPaths": ["foo", "bar"],
  37. },
  38. gui: {
  39. "hideScrollbar": 0,
  40. "hideStatusBar": 0,
  41. "fontList": [
  42. "Arial",
  43. "Courier New"
  44. ],
  45. "fontSize_fw": 14,
  46. },
  47. }