From 8bdd2c94022cf34b33138c0f2c36fe7cde313c92 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Mon, 23 Mar 2015 14:47:41 +0100
Subject: [PATCH] InstallerJDialog: ignoring key events when installation is
 ongoing

---
 app/src/cc/arduino/contributions/ui/InstallerJDialog.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/app/src/cc/arduino/contributions/ui/InstallerJDialog.java b/app/src/cc/arduino/contributions/ui/InstallerJDialog.java
index 56fd4cd82..325c0d74e 100644
--- a/app/src/cc/arduino/contributions/ui/InstallerJDialog.java
+++ b/app/src/cc/arduino/contributions/ui/InstallerJDialog.java
@@ -140,6 +140,10 @@ public abstract class InstallerJDialog<T> extends JDialog {
           return;
         }
 
+        if (!contribTable.isEnabled()) {
+          return;
+        }
+
         contribTable.editCellAt(contribTable.getSelectedRow(), contribTable.getSelectedColumn());
       }
     });