Merge pull request #217 from ProgrammingLife2016/feat/improved-search

Feat/improved search
ProgrammingLife2016 · Jun 10, 2016 · c654892 · c654892
2 parents 516c766 + 2f7c881
commit c654892
Show file tree

Hide file tree

Showing 3 changed files with 231 additions and 81 deletions.
diff --git a/PL2/PL2-gui/pom.xml b/PL2/PL2-gui/pom.xml
@@ -40,6 +40,11 @@
             <artifactId>mockito-core</artifactId>
             <version>1.10.19</version>
         </dependency>
+        <dependency>
+            <groupId>org.controlsfx</groupId>
+            <artifactId>controlsfx</artifactId>
+            <version>8.40.10</version>
+        </dependency>
     </dependencies>
 
 </project>