Add a couple more examples.

ericfinster · Jun 24, 2015 · 8410aea · 8410aea
1 parent 87c7d57
commit 8410aea
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 12 deletions.
diff --git a/examples/adjoints-separate.xml b/examples/adjoints-separate.xml
diff --git a/examples/universal.xml b/examples/universal.xml
diff --git a/orchard-javafx/src/main/scala/orchard/ui/javafx/svg/FrameworkSVGPanel.scala b/orchard-javafx/src/main/scala/orchard/ui/javafx/svg/FrameworkSVGPanel.scala
@@ -171,5 +171,6 @@ class FrameworkSVGPanel(labelEngine : WebEngine, val complex : SimpleFramework,
   var baseCell : FrameworkSVGCell = newCell(complex.baseCells(baseIndex))
 
   refreshPanelData
+
 }
 
diff --git a/orchard-lib/src/main/scala/orchard/core/editor/Workspace.scala b/orchard-lib/src/main/scala/orchard/core/editor/Workspace.scala
@@ -178,16 +178,12 @@ trait Workspace extends CheckableEnvironment with HasEnvironment {
     } {
       if (selectedCell.isUnicityFillable) {
 
-        // editor.withFillerIdentifier(
-        //   (fillerString => {
-        //     IdentParser(fillerString) match {
-        //       case Success(fillerIdent, _) => {
-
-        //         // TODO : Check identifier is valid
-
+        editor.withFillerIdentifier(
+          (fillerString => {
+            IdentParser(fillerString) match {
+              case Success(fillerIdent, _) => {
         //         try {
         //           val contExpr = Contraction(selectedCell.neutralNCell, ??? /* fillerIdent */)
-
         //           sheet.deselectAll
         //           val newIdx = context.extendWith(contExpr)
         //           selectedCell.item = Neutral(newIdx)
@@ -196,11 +192,13 @@ trait Workspace extends CheckableEnvironment with HasEnvironment {
         //           case e : IllegalArgumentException => println("Duplicate identifier.")
         //         }
         //       }
-        //       case _ : NoSuccess => println("Filler parse failed.")
-        //     }
-        //   }))
 
-        ???
+
+              }
+              case _ : NoSuccess => println("Filler parse failed.")
+            }
+          })
+        )
 
       } else if (selectedCell.isExposedNook) {