Date: Fri, 27 Mar 2020 22:34:47 +0100 From: Torfinn Ingolfsen <tingox@gmail.com> To: FreeBSD Ports <ports@freebsd.org> Cc: kevans@freebsd.org Subject: devel/arduino18 - why is "Manage Libraries" patched out? Message-ID: <CAJ_iqtZfpaK8aVJq0qMrK0F3hPWsSiv=SfHgxbdBovHPY4ie_g@mail.gmail.com>
next in thread | raw e-mail | index | archive | help
Hello, It seems that the menu item "Manage Libraries" in the FreeBSD port of Arduino IDE is patched out (removed) via the patch in files/patch-app_src_processing_app_Base.java Does it have to be? Doing so decreases usability of the tool, IMHO. Stay safe, have a nice day. -- Regards, Torfinn Ingolfsen
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAJ_iqtZfpaK8aVJq0qMrK0F3hPWsSiv=SfHgxbdBovHPY4ie_g>