options.json 2.2 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788
  1. {
  2. general: {
  3. windowAlpha: false,
  4. AppState_frameRate: 30,
  5. "GUIManager_maxInstances": 16384,
  6. imagesPath: "./images",
  7. commandsPath: "./config/commands.json",
  8. highlightersPath: "./src/highlighters/",
  9. highlightStylesPath: "./config/",
  10. sessionFileHistory: 100,
  11. "MainControl_startupTabs": [
  12. { "type": "Buffer", "path": "./testfile.c", },
  13. { "type": "Buffer", "path": "./testfile.h", },
  14. { "type": "FuzzyOpener", "path": "", },
  15. // { "type": "FileOpen", "path": "./", },
  16. ],
  17. "MainControl_openInPlace": 0,
  18. "MainControl_autoSortTabs": 0,
  19. // MainControl_paneTabLimit: 8, // auto-close oldest (not pinned) tab after n tabs open
  20. "MainControl_statusWidgets": [
  21. // { type: "hello_world", size: 15, align: "r", "format": "" },
  22. { type: "clock", size: 8, align: "r", format: "%H:%M:%S" }, // "%H:%M:%S"
  23. // { type: "findstate", size: 20, align: "r", format: "find: %I of %N" },
  24. // { type: "ping", size: 10, },
  25. // { type: "battery", size: 15, },
  26. { type: "linecol", size: 30, align: "l", format: "line %L:%C [%T lines]" },
  27. { type: "bufmode", size: 20, align: "l", format: "mode: %S [%D]" },
  28. // { type: "bufpath", size: 80, align: "l", format: "%P" },
  29. ],
  30. MainControl_tabNameScrollFn: "sinusoidal", // None, Linear, Sinusoidal, Swing, Loop
  31. MainControl_tabNameScrollStartLinger: 2.0,
  32. MainControl_tabNameScrollEndLinger: 2.0,
  33. MainControl_tabNameScrollAnimTime: 3.0,
  34. // Theme Settings
  35. "Theme_path": "default_dark.json",
  36. },
  37. buffer: {
  38. "linesPerScrollWheel": 3,
  39. "cursorBlinkEnable": 1,
  40. "cursorBlinkOffTime": 0.600,
  41. "cursorBlinkOnTime": 0.600,
  42. "highlightCurrentLine": 1,
  43. "outlineCurrentLine": 1,
  44. "outlineCurrentLineYOffset": 0,
  45. "lineNumExtraWidth": 10,
  46. "lineNumBase": 10, // 2-36
  47. "lineNumCharset": "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ",
  48. "showLineNums": 1,
  49. "charWidth": 8,
  50. "lineHeight": 17,
  51. "tabWidth": 4,
  52. "font": "Courier New",
  53. "fontSize": 14,
  54. "invertSelection": 1,
  55. "maxUndo": 4096,
  56. "statusBarHeight": 20,
  57. // "MainControl_searchPaths": ["foo", "bar"],
  58. },
  59. gui: {
  60. shaderPath: "./src/shaders/guiUnified.glsl",
  61. "maxInstances": 16384,
  62. "linesPerScrollWheel": 5,
  63. "hideScrollbar": 0,
  64. "hideStatusBar": 0,
  65. "fontList": [
  66. "Arial",
  67. "Courier New"
  68. ],
  69. "fontSize_fw": 14,
  70. },
  71. }