From 936446c8c89e64f88ef8d972feb3834158983c5d Mon Sep 17 00:00:00 2001 From: David Runge Date: Sun, 15 Feb 2015 18:50:28 +0100 Subject: preferences.txt: Updating arduino preferences. --- .arduino/preferences.txt | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) diff --git a/.arduino/preferences.txt b/.arduino/preferences.txt index 1401472..6724ae7 100644 --- a/.arduino/preferences.txt +++ b/.arduino/preferences.txt @@ -1,6 +1,6 @@ board=uno browser=mozilla -browser.linux=mozilla +build.warn_data_percentage=75 console=true console.auto_clear=true console.error.file=stderr.txt @@ -10,19 +10,16 @@ console.output.file=stdout.txt editor.antialias=false editor.caret.blink=true editor.divider.size=0 -editor.divider.size.windows=2 editor.external=false editor.font=Monospaced,plain,12 -editor.font.macosx=Monaco,plain,10 editor.indent=true editor.invalid=false editor.keys.alternative_cut_copy_paste=true -editor.keys.alternative_cut_copy_paste.macosx=false editor.keys.home_and_end_travel_far=false -editor.keys.home_and_end_travel_far.macosx=true editor.keys.shift_backspace_is_delete=true editor.languages.current= editor.linenumbers=false +editor.save_on_verify=true editor.tabs.expand=true editor.tabs.size=2 editor.window.height.default=600 @@ -32,13 +29,12 @@ editor.window.width.min=400 export.applet.separate_jar_files=false export.application.fullscreen=false export.application.platform=true -export.application.platform.linux=true -export.application.platform.macosx=true -export.application.platform.windows=true export.application.stop=true export.delete_target_folder=true last.ide.1.0.6.daterun=1411912958 last.ide.1.0.6.hardwarepath=/usr/share/arduino/hardware +last.ide.1.6.0.daterun=1424022507 +last.ide.1.6.0.hardwarepath=/usr/share/arduino/hardware last.screen.height=1200 last.screen.width=1920 last.sketch.count=0 @@ -61,7 +57,6 @@ run.options.memory.initial=64 run.options.memory.maximum=256 run.present.bgcolor=#666666 run.present.exclusive=false -run.present.exclusive.macosx=true run.present.stop.color=#cccccc run.window.bgcolor=#DFDFDF serial.databits=8 @@ -70,9 +65,12 @@ serial.parity=N serial.port=COM1 serial.stopbits=1 sketchbook.path=/home/dave/git/sketchbooks/arduino-sketchbook +software=ARDUINO target=arduino +target_package=arduino +target_platform=avr update.check=true update.id=-5111801774645063504 -update.last=1411912792122 +update.last=1424022508963 upload.using=bootloader upload.verify=true -- cgit v1.2.3-70-g09d2