From a59f20ac8bb4f0056f48b40f4cc84aeb28bb4afc Mon Sep 17 00:00:00 2001
From: 2Shirt <2xShirt@gmail.com>
Date: Fri, 13 Sep 2019 19:44:56 -0700
Subject: [PATCH] Support optional extra separators in Menu()

---
 scripts/wk/std.py | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/scripts/wk/std.py b/scripts/wk/std.py
index 60029737..060e74c2 100644
--- a/scripts/wk/std.py
+++ b/scripts/wk/std.py
@@ -87,6 +87,8 @@ class Menu():
       for details in section.values():
         if details.get('Hidden', False):
           continue
+        if details.get('Separator', False):
+          menu_lines.append(separator_string)
         menu_lines.append(details['Display Name'])
     if self.sets or self.toggles:
       menu_lines.append(separator_string)
@@ -95,6 +97,8 @@ class Menu():
     for details in self.options.values():
       if details.get('Hidden', False):
         continue
+      if details.get('Separator', False):
+        menu_lines.append(separator_string)
       menu_lines.append(details['Display Name'])
     if self.options:
       menu_lines.append(separator_string)
@@ -103,9 +107,12 @@ class Menu():
     for details in self.actions.values():
       if details.get('Hidden', False):
         continue
+      if details.get('Separator', False):
+        menu_lines.append(separator_string)
       menu_lines.append(details['Display Name'])
 
     # Show menu
+    menu_lines.append('')
     menu_lines = [str(line) for line in menu_lines]
     return '\n'.join(menu_lines)