You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
105 lines
3.5 KiB
105 lines
3.5 KiB
chooser.files.native=true
|
|
console.auto_clear=true
|
|
console.font.size={{typography.mono.size}}
|
|
console.lines=1
|
|
console.scrollback.chars=40000
|
|
console.scrollback.lines=500
|
|
contribution.backup.on_install=true
|
|
contribution.backup.on_remove=true
|
|
editor.caret.blink=true
|
|
editor.caret.block=false
|
|
editor.completion.auto_close=false
|
|
editor.font.family={{typography.mono.font}} {{typography.mono.weight}}
|
|
editor.font.size={{typography.mono.size}}
|
|
editor.indent=true
|
|
editor.input_method_support=false
|
|
editor.keys.alternative_cut_copy_paste=true
|
|
editor.keys.home_and_end_travel_far=false
|
|
editor.keys.home_and_end_travel_smart=true
|
|
editor.keys.shift_backspace_is_delete=false
|
|
editor.laf=javax.swing.plaf.nimbus.NimbusLookAndFeel
|
|
editor.smooth=true
|
|
editor.tabs.expand=true
|
|
editor.tabs.size=2
|
|
editor.token.comment1.style={{colors.blue}},plain
|
|
editor.token.comment2.style={{colors.comment}},plain
|
|
editor.token.function1.style={{colors.blue}},plain
|
|
editor.token.function2.style={{colors.blue}},plain
|
|
editor.token.function3.style={{colors.green}},plain
|
|
editor.token.function4.style={{colors.blue}},bold
|
|
editor.token.invalid.style={{colors.red}},bold
|
|
editor.token.keyword1.style={{colors.cyan}},plain
|
|
editor.token.keyword2.style={{colors.cyan}},plain
|
|
editor.token.keyword3.style={{colors.green}},plain
|
|
editor.token.keyword4.style={{colors.magenta}},plain
|
|
editor.token.keyword5.style={{colors.yellow}},plain
|
|
editor.token.keyword6.style={{colors.cyan}},plain
|
|
editor.token.label.style={{colors.green}},bold
|
|
editor.token.literal1.style={{colors.magenta}},plain
|
|
editor.token.literal2.style={{colors.green}},plain
|
|
editor.token.operator.style={{colors.blue}},plain
|
|
editor.untitled.prefix=sketch_
|
|
editor.untitled.suffix=yyMMdd
|
|
editor.watcher=true
|
|
editor.watcher.debug=false
|
|
editor.watcher.window=1500
|
|
editor.window.height.default=720
|
|
editor.window.height.min=480
|
|
editor.window.width.default=700
|
|
editor.window.width.min=400
|
|
editor.zoom=100%
|
|
editor.zoom.auto=true
|
|
examples.processing.app.ui.ExamplesFrame.visible=null/Contributed Libraries/Open Kinect for Processing/Kinect_v1:null/Contributed Libraries:null/Libraries:null:null/Contributed Libraries/Open Kinect for Processing
|
|
export.application.embed_java=true
|
|
export.application.fullscreen=false
|
|
export.application.stop=true
|
|
export.delete_target_folder=true
|
|
instance_server.key=0.6702974505479351
|
|
instance_server.port=44097
|
|
last.sketch.count=0
|
|
last.sketch.restore=true
|
|
launcher=xdg-open
|
|
mode.last=processing.mode.java.JavaMode
|
|
pdex.autoSave.autoSaveByDefault=true
|
|
pdex.autoSave.autoSaveEnabled=false
|
|
pdex.autoSave.promptDisplay=true
|
|
pdex.autoSaveInterval=5
|
|
pdex.completion=true
|
|
pdex.completion.trigger=false
|
|
pdex.dbgOutput=false
|
|
pdex.errorCheckEnabled=true
|
|
pdex.inspectMode.hotkey=true
|
|
pdex.suggest.imports=true
|
|
pdex.warningsEnabled=true
|
|
pdex.writeErrorLogs=false
|
|
platform.auto_file_type_associations=true
|
|
preproc.color_datatype=true
|
|
preproc.enhanced_casting=true
|
|
preproc.output_parse_tree=false
|
|
preproc.save_build_files=false
|
|
preproc.substitute_floats=true
|
|
preproc.web_colors=true
|
|
proxy.http.host=
|
|
proxy.http.port=
|
|
proxy.https.host=
|
|
proxy.https.port=
|
|
proxy.socks.host=
|
|
proxy.socks.port=
|
|
proxy.system=true
|
|
recent.count=10
|
|
run.display=1
|
|
run.options=
|
|
run.options.memory=false
|
|
run.options.memory.initial=64
|
|
run.options.memory.maximum=256
|
|
run.present.bgcolor={{colors.bg}}
|
|
run.present.stop.color={{colors.bg}}
|
|
run.window.bgcolor={{colors.bg}}
|
|
search.format=https://duckduckgo.com/?q=%s
|
|
sketchbook.path.three=/home/ianmethyst/Sandbox/processing
|
|
update.check=true
|
|
update.id=-183846065481687493
|
|
update.last=1588352566738
|
|
welcome.seen=true
|
|
welcome.show=false
|