This repository has been archived by the owner on Feb 24, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 166
/
.scripted
107 lines (96 loc) · 3.97 KB
/
.scripted
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
/*
This is a sample scripted configuration file.
For more information see the wiki: https://github.com/scripted-editor/scripted/wiki/Configuration
"lint" : {
//The directories to exclude while running jslint/jshint
exclude_dirs : 'node_modules',
}
*/
{
// Various aspects of the UI can be configured:
// "ui" : {
// "font": "Monaco", // the font to be used in the editor
// "font_size": 12, // the editor font size
// "navigator": false, // Start with the navigator open or closed?
// "font_size_breadcrumb": 12, // font size for the breadcrumb
// "font_size_nav": 12, // font size for the navigator
// "font_size_help": 12, // font size for the help panel
// "content_assist_font_size":14, // size of content assist, defaults to editor text font size
// "auto_activation": 500 // time in ms before content assist auto activates (and history menu drop down time) (default 500ms)
// },
// JSHint can be configured within this file or via an external .jshintrc file
// "jshint" : {
// "global" : ["console", "define", "exports", "module", "process", "__dirname",
// "require", "$", "window"]
// },
// Control tabs in the editor
// "editor": {
// "expandtab": true,
// "tabsize": 4
// },
// Configures the mark occurrences behavior
mark_occurrences : {
interval :500, // interval between requests. set to 0 for instantaneous, or higher numbers for more of a delay
disable : false, // set to true to disable mark occurrences
retain : false // set to true to retain marks if current caret location is not over a word
},
// The plugins config block can be used to control plugins.
// Within the block the format is up to the specific plugins:
plugins: {
'trailing-whitespace' : true
}
// The application section controls which directories are made available
// via the built in server (i.e. the one controlled with play/stop)
// application : {
// webroot:"client" // the folder to 'serve' in the project, relative to project root
// },
// The exec keys block allows user commands to be installed into the editor, either
// driven by a specific keypress or on an event (e.g. file saved).
// "exec": {
// "onKeys" : {
// "ctrl+alt+b": {
// "cmd": "ls -la",
// "cwd": "${dir}",
// "name": "ls current dir"
// },
// "ctrl+alt+shift+b": "ls -la",
// "ctrl+alt+shift+x": "this command is very long and should be too long for a name",
// "ctrl+alt+shift+y": "this command is very long and should be too long for a name like this",
// "ctrl+alt+shift+c": "javac ${file}"
// },
// "afterSave" : {
// "** / *.js": "cat ${file}", //!!!Spaces arround the / should be removed!!!
// ".rigel": "echo Thank you for saving me!",
// "** / .rigel": "echo ${file}" //!!!Spaces arround the / should be removed!!!
// },
// "onLoad" : [
// "echo Loading ${projectDir}",
// { "cmd": "ls -la",
// "cwd": "${projectDir}/client"
// }
// ]
// },
// Formatter config options
// "formatter" : {
// "js" : {
// "indent_size" : 4, // indent size (default 4)
// "indent_char" : "\t", // indent char (default space)
// "preserve_newlines" : true, // whether existing line breaks should be preserved (default true)
// "preserve_max_newlines": 5, // max number of line breaks to be preserved in one chunk (default unlimited)
// "jslint_happy": false, // if true a jslint-stricter mode is turned on (producing 'function ()' rather than 'function()'
// "brace_style": collapse, // where to put braces:
// // collapse - same line as control statements
// // expand - put braces on own line
// // end-expand - put end braces on own line
// // expand-strict - put brace on own line even in cases like: var a = { a:5, b:6 }
// "space_before_conditional": true, // should a space be added before conditional 'if(true)' vs 'if (true)'
// "unescape_strings": false
// }
// },
// search: {
// exclude: [
// '**/node_modules',
// '**/client/components'
// ]
// }
}