diff options
| author | San Jacobs | 2026-05-11 23:17:43 +0200 |
|---|---|---|
| committer | San Jacobs | 2026-05-11 23:17:43 +0200 |
| commit | 4ed95885e2a4fa1dc4503a02a7707ed88ff55982 (patch) | |
| tree | bca23f0b7943ff8eecce7b4d0f051b4ac17a8305 | |
| parent | bb8359c6a59c79aa7fd912e4321dd9180d452991 (diff) | |
| download | better-report-4ed95885e2a4fa1dc4503a02a7707ed88ff55982.tar.gz better-report-4ed95885e2a4fa1dc4503a02a7707ed88ff55982.tar.bz2 better-report-4ed95885e2a4fa1dc4503a02a7707ed88ff55982.zip | |
Focus config
| -rw-r--r-- | .focus-config | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/.focus-config b/.focus-config new file mode 100644 index 0000000..ebef03e --- /dev/null +++ b/.focus-config @@ -0,0 +1,43 @@ +[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 . +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 rad +key_binding Ctrl-Shift-B + +[build_direct] +build_command build.bat +key_binding Ctrl-B + + +[[settings]] + +indent_using: tabs +tab_size: 4 |