| changeset 66206 | 2d2082db735a |
| parent 66205 | e9fa94f43a15 |
| child 66591 | 6efa351190d0 |
--- a/src/Tools/jEdit/src/protocol_dockable.scala Tue Jun 27 21:36:58 2017 +0200 +++ b/src/Tools/jEdit/src/protocol_dockable.scala Tue Jun 27 21:56:56 2017 +0200 @@ -22,7 +22,7 @@ private val ml_stats = new Isabelle.ML_Stats - private val controls = Wrap_Panel(List(ml_stats), Wrap_Panel.Alignment.Right) + private val controls = Wrap_Panel(List(ml_stats)) /* text area */