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 wrote:Date: Sun, 2 Sep 2018 03:15:20 +0000
From: Henri Augusto Bisognini <msndohenri@hotmail.com>
To: "pd-dev@lists.iem.at" <pd-dev@lists.iem.at>
Subject: [PD-dev] Two preferences menus
Message-ID:
<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?