src/Pure/GUI/wrap_panel.scala

--- a/src/Pure/GUI/wrap_panel.scala	Tue Jun 27 21:36:58 2017 +0200
+++ b/src/Pure/GUI/wrap_panel.scala	Tue Jun 27 21:56:56 2017 +0200
@@ -102,12 +102,12 @@
   }
 
   def apply(contents: List[Component] = Nil,
-      alignment: Wrap_Panel.Alignment.Value = Wrap_Panel.Alignment.Center): Wrap_Panel =
+      alignment: Alignment.Value = Alignment.Right): Wrap_Panel =
     new Wrap_Panel(contents, alignment)
 }
 
 class Wrap_Panel(contents0: List[Component] = Nil,
-    alignment: Wrap_Panel.Alignment.Value = Wrap_Panel.Alignment.Center)
+    alignment: Wrap_Panel.Alignment.Value = Wrap_Panel.Alignment.Right)
   extends Panel with SequentialContainer.Wrapper
 {
   override lazy val peer: JPanel =