devel/arduino18 - why is "Manage Libraries" patched out?

Torfinn Ingolfsen tingox at gmail.com
Fri Mar 27 21:35:35 UTC 2020


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


More information about the freebsd-ports mailing list