From 97e83c7d8f41fd118a4b2057e103234821c62429 Mon Sep 17 00:00:00 2001 From: Alexey Andreev Date: Sun, 21 Feb 2016 01:02:35 +0300 Subject: [PATCH] Improving TeaVM module configuration UI --- .idea/inspectionProfiles/Project_Default.xml | 1 + .../idea/jps/model/TeaVMJpsConfiguration.java | 32 ++- .../org/teavm/idea/ui/TeaVMConfigurable.java | 2 +- .../idea/ui/TeaVMConfigurationPanel.java | 208 +++++++++++++++--- 4 files changed, 205 insertions(+), 38 deletions(-) diff --git a/.idea/inspectionProfiles/Project_Default.xml b/.idea/inspectionProfiles/Project_Default.xml index d8a5e0eb2..d98ed8300 100644 --- a/.idea/inspectionProfiles/Project_Default.xml +++ b/.idea/inspectionProfiles/Project_Default.xml @@ -100,6 +100,7 @@