# HG changeset patch
# User wenzelm
# Date 1353502067 -3600
# Node ID 88ba14e563d4882e394ac54e41e70b88df29d674
# Parent  885deccc264e0093cd1b19e49a766f5756f97116
accomodate scala-2.10.0-RC2 with its slight reform on for-syntax;

diff -r 885deccc264e -r 88ba14e563d4 src/Tools/jEdit/src/symbols_dockable.scala
--- a/src/Tools/jEdit/src/symbols_dockable.scala	Wed Nov 21 12:05:05 2012 +0100
+++ b/src/Tools/jEdit/src/symbols_dockable.scala	Wed Nov 21 13:47:47 2012 +0100
@@ -17,11 +17,11 @@
 
 class Symbols_Dockable(view: View, position: String) extends Dockable(view, position)
 {
-
   private val max_results = 50
 
-  val searchspace = for (val (group, symbols) <- Symbol.groups; val sym <- symbols)
-    yield (sym, (sym.toLowerCase + get_name(Symbol.decode(sym)).toLowerCase))
+  val searchspace =
+    for ((group, symbols) <- Symbol.groups; sym <- symbols)
+      yield (sym, (sym.toLowerCase + get_name(Symbol.decode(sym)).toLowerCase))
 
   def get_name(c: String): String =
     if (c.length >= 1) Character.getName(c.codePointAt(0)) else "??"
@@ -36,7 +36,7 @@
   }
 
   val group_tabs = new TabbedPane {
-    pages ++= (for (val (group, symbols) <- Symbol.groups) yield
+    pages ++= (for ((group, symbols) <- Symbol.groups) yield
       {
         new TabbedPane.Page(if (group == "") "Other" else group,
           new FlowPanel { contents ++= symbols map (new Symbol_Component(_)) },