mirror of
https://git.freebsd.org/ports.git
synced 2025-06-07 13:50:38 -04:00
10cf177218
* Firmata upgrade, 2.5.3 => 2.5.5 * Robot_Motor upgrade, 1.0.1 => 1.0.2 * Temboo upgrade, 1.1.7 => 1.1.8 * WiFi101-FirmwareUpdater-Plugin update, 0.8.0 => 0.9.0 * SD 1.1.1 and Servo 1.1.2 now also included * (Port) indentation fixes * (Port) Populate lib/version.txt to fix arduino-makefile usage)) PR: 218282 Submitted by: Kyle Evans <bsdports@kyle-evans.net> (maintainer)
57 lines
2.2 KiB
Java
57 lines
2.2 KiB
Java
--- app/src/processing/app/Base.java.orig 2017-03-16 17:38:01 UTC
|
|
+++ app/src/processing/app/Base.java
|
|
@@ -460,7 +460,7 @@ public class Base {
|
|
new Thread(new NewBoardListener(this)).start();
|
|
|
|
// Check for updates
|
|
- if (PreferencesData.getBoolean("update.check")) {
|
|
+ if (false) {
|
|
new UpdateCheck(this);
|
|
|
|
contributionsSelfCheck = new ContributionsSelfCheck(this, new UpdatableBoardsLibsFakeURLsHandler(this), contributionInstaller, libraryInstaller);
|
|
@@ -1055,12 +1055,7 @@ public class Base {
|
|
if (importMenu == null)
|
|
return;
|
|
importMenu.removeAll();
|
|
-
|
|
- JMenuItem menu = new JMenuItem(tr("Manage Libraries..."));
|
|
- menu.addActionListener(e -> openLibraryManager("", ""));
|
|
- importMenu.add(menu);
|
|
- importMenu.addSeparator();
|
|
-
|
|
+
|
|
JMenuItem addLibraryMenuItem = new JMenuItem(tr("Add .ZIP Library..."));
|
|
addLibraryMenuItem.addActionListener(new ActionListener() {
|
|
public void actionPerformed(ActionEvent e) {
|
|
@@ -1388,31 +1383,12 @@ public class Base {
|
|
boardMenu.putClientProperty("removeOnWindowDeactivation", true);
|
|
MenuScroller.setScrollerFor(boardMenu);
|
|
|
|
- boardMenu.add(new JMenuItem(new AbstractAction(tr("Boards Manager...")) {
|
|
- public void actionPerformed(ActionEvent actionevent) {
|
|
- String filterText = "";
|
|
- String dropdownItem = "";
|
|
- if (actionevent instanceof Event) {
|
|
- filterText = ((Event) actionevent).getPayload().get("filterText").toString();
|
|
- dropdownItem = ((Event) actionevent).getPayload().get("dropdownItem").toString();
|
|
- }
|
|
- try {
|
|
- openBoardsManager(filterText, dropdownItem);
|
|
- } catch (Exception e) {
|
|
- //TODO show error
|
|
- e.printStackTrace();
|
|
- }
|
|
- }
|
|
- }));
|
|
boardsCustomMenus.add(boardMenu);
|
|
|
|
// If there are no platforms installed we are done
|
|
if (BaseNoGui.packages.size() == 0)
|
|
return;
|
|
|
|
- // Separate "Install boards..." command from installed boards
|
|
- boardMenu.add(new JSeparator());
|
|
-
|
|
// Generate custom menus for all platforms
|
|
Set<String> customMenusTitles = new HashSet<>();
|
|
for (TargetPackage targetPackage : BaseNoGui.packages.values()) {
|