diff options
Diffstat (limited to '.focus-config')
| -rw-r--r-- | .focus-config | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/.focus-config b/.focus-config new file mode 100644 index 0000000..71d347c --- /dev/null +++ b/.focus-config @@ -0,0 +1,45 @@ +[25] # Version number. Do not delete. + +[[workspace]] +# These directories and files will be scanned when a workspace is opened so that search etc. works. +. + +[ignore] +# Files and directories matching the following wildcards will not be loaded or descended into +# Example: +# *.js - will ignore all files with a '.js' extension +# tmp* - will ignore any files or directories which start with 'tmp' +# C:/project/dirname/** - will ignore everything under `dirname` +# C:/project/dirname/* - will ignore all files under `dirname`, but not recursively +.vs +.git +.svn +build +*.gltf +*.glb +*.PNG +lib + +[[build commands]] +# build_working_dir D:\Documents\Programming\statics +# build_working_dir C:\Users\Sander\Programming\statics +build_working_dir . +open_panel_on_build true +error_regex ^(?P<file>.*)\((?P<line>\d+):(?P<col>\d+)\) (?P<type>Error|Syntax Error): (?P<msg>.*)$ + + +auto_jump_to_error false + +#[build_and_debug] +#build_command build.bat +#key_binding Ctrl-B + +[build_direct] +build_command build.bat +key_binding Ctrl-B + + +[[settings]] + +indent_using: tabs +tab_size: 4 |