Moved polygen into misc/ menu
[gregoa/zavai.git] / src / app_polygen.vala
index 3b2538f2db32086b9af87d276203e59c471895fc..0fe16f8d5766b89713a8ac2529b7780f0186336f 100644 (file)
@@ -63,6 +63,7 @@ protected class PolygenRun : Gtk.VBox
     protected Gtk.TextBuffer text_buffer;
     protected Gtk.TextView text;
     protected Regex unhtml;
+    protected Regex seplines;
 
     public string grm_name { get; set; }
     public string grm_type { get; set; }
@@ -72,6 +73,7 @@ protected class PolygenRun : Gtk.VBox
         grm_name = "";
         grm_type = "";
         unhtml = new Regex("[ ]*<[^>]+>[ ]*", 0, 0);
+        seplines = new Regex("\n");
         text_buffer = new Gtk.TextBuffer(null);
         text = new Gtk.TextView.with_buffer(text_buffer);
         text.wrap_mode = Gtk.WrapMode.WORD;
@@ -116,7 +118,10 @@ protected class PolygenRun : Gtk.VBox
         if (grm_type == "line/html" || grm_type == "block/html")
         {
             result = unhtml.replace(result, (long)res_len, 0, " ", 0);
+        } else if (grm_type == "line/text") {
+            result = seplines.replace(result, (long)res_len, 0, "\n\n", 0);
         }
+        
 
         text_buffer.text = result;
         Gtk.TextIter iter;
@@ -198,36 +203,21 @@ Polygen polygen;
 
 public void init()
 {
+    var menu_misc = new zavai.Menu("Misc");
+    zavai.registry.register_menu("menu.misc", menu_misc);
+    zavai.registry.getmenu("menu.main").add_applet("menu.misc");
+
     try {
         var data = new IOChannel.file(zavai.config.homedir + "/polygen-info", "r");
         polygen = new Polygen("Polygen", data);
         data.shutdown(false);
 
         zavai.registry.register_applet("ui.polygen", polygen);
-        zavai.registry.getmenu("menu.main").add_applet("ui.polygen");
+        zavai.registry.getmenu("menu.misc").add_applet("ui.polygen");
     } catch (FileError e) {
         polygen = null;
         zavai.log.error("Skipping polygen plugin: " + e.message);
     }
-
-    /*
-       window_list = new WindowList("Current apps");
-       zavai.registry.register_applet("wm.list", window_list);
-       zavai.registry.getmenu("menu.main").add_applet("wm.list");
-
-       try {
-               launcher = new Launcher("Run program");
-       } catch (Error e) {
-               zavai.log.error("Not running launcher: " + e.message);
-               launcher = null;
-       }
-
-       if (launcher != null)
-       {
-               zavai.registry.register_applet("wm.launcher", launcher);
-               zavai.registry.getmenu("menu.main").add_applet("wm.launcher");
-       }
-    */
 }
 
 }