retitle 706312 arduino: Make preferences.txt more transparent, please. severity 706312 wishlist thank you
Hello, Scott, now what? Anything left for arduino to do? Adding documentation of the preferences.txt file, and adding a pointer to that documentation to the preferences.txt file as generated when it doesn't exist, would have helped avoid the bug report. Additional, I suggest renaming that particular property from "launcher" to "browser.launcher". I take the liberty of changing the bug a bit to that end. Regards, and thank you for providing fine software, Andreas -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
