I think that's a mistake and probably a leftover when I last worked on the menus, mainly for macOS, or from deken. Is the menu listing the same for both menus?
On Sep 2, 2018, at 12:00 PM, pd-dev-request@lists.iem.at wrote:
Date: Sun, 2 Sep 2018 03:15:20 +0000 From: Henri Augusto Bisognini <msndohenri@hotmail.com mailto:msndohenri@hotmail.com> To: "pd-dev@lists.iem.at mailto:pd-dev@lists.iem.at" <pd-dev@lists.iem.at mailto:pd-dev@lists.iem.at> Subject: [PD-dev] Two preferences menus Message-ID: <RO1PR80MB04112923698ACCEC1B6699F2CC0D0@RO1PR80MB0411.lamprd80.prod.outlook.com mailto:RO1PR80MB04112923698ACCEC1B6699F2CC0D0@RO1PR80MB0411.lamprd80.prod.outlook.com>
Content-Type: text/plain; charset="iso-8859-1"
I've noticed there are two equal preferences menus on Windows and Ubuntu.
File->Preferences Edit->Preferences
Is it intentional or some leftover after a change?
-------- Dan Wilcox @danomatika http://twitter.com/danomatika danomatika.com http://danomatika.com/ robotcowboy.com http://robotcowboy.com/
Sorry, I see you already said they were equal. In any case, I looked at pd_menus.tcl and it's clear this is an un-needed duplication. I've removed the section that adds the menu item to the Edit menu.
Thanks for the report.
On Sep 3, 2018, at 12:18 PM, Dan Wilcox danomatika@gmail.com wrote:
I think that's a mistake and probably a leftover when I last worked on the menus, mainly for macOS, or from deken. Is the menu listing the same for both menus?
On Sep 2, 2018, at 12:00 PM, pd-dev-request@lists.iem.at mailto:pd-dev-request@lists.iem.at wrote:
Date: Sun, 2 Sep 2018 03:15:20 +0000 From: Henri Augusto Bisognini <msndohenri@hotmail.com mailto:msndohenri@hotmail.com> To: "pd-dev@lists.iem.at mailto:pd-dev@lists.iem.at" <pd-dev@lists.iem.at mailto:pd-dev@lists.iem.at> Subject: [PD-dev] Two preferences menus Message-ID: <RO1PR80MB04112923698ACCEC1B6699F2CC0D0@RO1PR80MB0411.lamprd80.prod.outlook.com mailto:RO1PR80MB04112923698ACCEC1B6699F2CC0D0@RO1PR80MB0411.lamprd80.prod.outlook.com>
Content-Type: text/plain; charset="iso-8859-1"
I've noticed there are two equal preferences menus on Windows and Ubuntu.
File->Preferences Edit->Preferences
Is it intentional or some leftover after a change?
Dan Wilcox @danomatika http://twitter.com/danomatika danomatika.com http://danomatika.com/ robotcowboy.com http://robotcowboy.com/
-------- Dan Wilcox @danomatika http://twitter.com/danomatika danomatika.com http://danomatika.com/ robotcowboy.com http://robotcowboy.com/
-
Dan Wilcox