equal
deleted
inserted
replaced
78 } |
78 } |
79 |
79 |
80 private val continuous_checking = new Isabelle.Continuous_Checking |
80 private val continuous_checking = new Isabelle.Continuous_Checking |
81 continuous_checking.focusable = false |
81 continuous_checking.focusable = false |
82 |
82 |
83 private val logic = Isabelle_Logic.logic_selector(true) |
83 private val logic = JEdit_Sessions.logic_selector(true) |
84 |
84 |
85 private val controls = |
85 private val controls = |
86 new Wrap_Panel(Wrap_Panel.Alignment.Right)(continuous_checking, session_phase, logic) |
86 new Wrap_Panel(Wrap_Panel.Alignment.Right)(continuous_checking, session_phase, logic) |
87 add(controls.peer, BorderLayout.NORTH) |
87 add(controls.peer, BorderLayout.NORTH) |
88 |
88 |