UI improvements. Completed #14 and #20

2019-03-05 21:39:23 -05:00
parent 4effe37517
commit 48d4ffe5df
21 changed files with 280 additions and 375 deletions
@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="RenderSettings">
+    <option name="showDecorations" value="true" />
+  </component>
+</project>