equal
deleted
inserted
replaced
57 |
57 |
58 fontSize |
58 fontSize |
59 }) |
59 }) |
60 |
60 |
61 addComponent(property("logic.title"), { |
61 addComponent(property("logic.title"), { |
62 val logics : Array[Object] = |
62 for (name <- IsabelleSystem.find_logics()) { |
63 (IsabelleSystem.isabelle_tool("findlogics") _1).split("\\s").asInstanceOf[Array[Object]] |
|
64 for (name <- logics) { |
|
65 logicName.addItem(name) |
63 logicName.addItem(name) |
66 if (name == property("logic")) |
64 if (name == property("logic")) |
67 logicName.setSelectedItem(name) |
65 logicName.setSelectedItem(name) |
68 } |
66 } |
69 |
67 |
70 logicName |
68 logicName |
71 }) |
69 }) |
72 } |
70 } |
73 |
71 |
74 override def _save() { |
72 override def _save() { |