[gegl] bin: trim gegl: prefix from opnames in ui

[Øyvind "pippin" Kolås <ok src gnome org>]

commit 25602aa082dd285bb0423c4879acedd895008e11
Author: Øyvind Kolås <pippin gimp org>
Date:   Wed Jan 16 21:28:56 2019 +0100

    bin: trim gegl: prefix from opnames in ui

 bin/ui.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)
---
diff --git a/bin/ui.c b/bin/ui.c
index 87899f1cd..5b407e67c 100644
--- a/bin/ui.c
+++ b/bin/ui.c
@@ -2028,7 +2028,10 @@ static void list_ops (State *o, GeglNode *iter, int indent)
      }
      else
      {
-       mrg_printf (mrg, "%s", opname);
+       if (g_str_has_prefix (opname, "gegl:"))
+         mrg_printf (mrg, "%s", opname+5);
+       else
+         mrg_printf (mrg, "%s", opname);
      }