workspace loader fix for unsorted panels

nitramr · Dec 7, 2016 · c5d132e · c5d132e
1 parent 9222436
commit c5d132e
Show file tree

Hide file tree

Showing 4 changed files with 309 additions and 43 deletions.
diff --git a/.directory b/.directory
@@ -0,0 +1,3 @@
+[Dolphin]
+Timestamp=2016,12,6,21,51,34
+Version=3