root/10080_worldhello_extension_settings.patch @ 57:c0ef41168c82

freemind.properties

@@ -512 +512 @@
 # fc, 28.4.2008: used and displayed icons as a list with divider ';':
 icons.list=idea;help;yes;messagebox_warning;stop-sign;closed;info;button_ok;button_cancel;full-1;full-2;full-3;full-4;full-5;full-6;full-7;full-8;full-9;full-0;stop;prepare;go;back;forward;up;down;attach;ksmiletris;smiley-neutral;smiley-oh;smiley-angry;smily_bad;clanbomber;desktop_new;gohome;folder;korn;Mail;kmail;list;edit;kaddressbook;knotify;password;pencil;wizard;xmag;bell;bookmark;penguin;licq;freemind_butterfly;broken-line;calendar;clock;hourglass;launch;flag-black;flag-blue;flag-green;flag-orange;flag-pink;flag;flag-yellow;family;female1;female2;male1;male2;fema;group
 # not added: encrypted;decrypted;redo;
+
+# worldhello, 25.5.2008:
+wh_nonascii_in_utf8=true
+wh_save_extra_attrs_in_aux_file=true
+wh_separate_attr_folded=true
+wh_separate_attr_created=true
+wh_separate_attr_modified=true

freemind/preferences/layout/OptionPanel.java

@@ -1152 +1152 @@
         controls.add(new NumberProperty("undo_levels.tooltip", "undo_levels", 2,1000,1));
 
                 /***********************************************************************
+                 * WorldHello ****************************************************************
+                 */
+                controls.add(new NewTabProperty("wh_extension"));
+                controls.add(new SeparatorProperty("wh_nonascii_in_utf8"));
+                controls.add(new BooleanProperty(
+                                "wh_nonascii_in_utf8.tooltip",
+                                "wh_nonascii_in_utf8")); // true
+                controls.add(new SeparatorProperty("wh_mm_aux_file"));
+                controls.add(new BooleanProperty(
+                                "wh_save_extra_attrs_in_aux_file.tooltip",
+                                "wh_save_extra_attrs_in_aux_file")); // true
+                controls.add(new BooleanProperty(
+                                "wh_separate_attr_folded",
+                                "wh_separate_attr_folded")); // true
+                controls.add(new BooleanProperty(
+                                "wh_separate_attr_created",
+                                "wh_separate_attr_created")); // true
+                controls.add(new BooleanProperty(
+                                "wh_separate_attr_modified",
+                                "wh_separate_attr_modified")); // true
+
+                /***********************************************************************
                  * Browser/external apps
                  * ****************************************************************
                  */