From 2806b5b86d70fb251f317b5ef1e88a9f81bf8a88 Mon Sep 17 00:00:00 2001
From: Albert Graef <aggraef@gmail.com>
Date: Wed, 10 Jun 2020 21:45:01 +0200
Subject: [PATCH] Add an extra separator before the dropdown option in the put
 menu.

---
 pd/nw/pd_menus.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pd/nw/pd_menus.js b/pd/nw/pd_menus.js
index 34a8435d1..cfbc48f25 100644
--- a/pd/nw/pd_menus.js
+++ b/pd/nw/pd_menus.js
@@ -425,6 +425,7 @@ function create_menu(gui, type) {
             modifiers: shortcuts.menu.comment.modifiers,
             tooltip: l("menu.comment_tt")
         }));
+        put_menu.append(new gui.MenuItem({ type: "separator" }));
         put_menu.append(m.put.dropdown = new gui.MenuItem({
             label: l("menu.dropdown"),
             key: shortcuts.menu.dropdown.key,
-- 
GitLab