blob: 6fb35b936c3b35ffddc09e8ad475e83bfc02f644 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
--- 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()) {
|
