diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-02-24 23:00:47 +0100 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-02-24 23:00:47 +0100 |
commit | 8cdf3b3f51adff8dbeff5217505f74cfbedb55cd (patch) | |
tree | 5b249995c452ed79fc0ba39410775920380b3de3 /src/compiler/scala/tools/nsc/ast/TreeBrowsers.scala | |
parent | e7ab2f4a978e244cdd4c8c03170caa2a44c7adea (diff) | |
download | scala-8cdf3b3f51adff8dbeff5217505f74cfbedb55cd.tar.gz scala-8cdf3b3f51adff8dbeff5217505f74cfbedb55cd.tar.bz2 scala-8cdf3b3f51adff8dbeff5217505f74cfbedb55cd.zip |
Banish needless semicolons.
Diffstat (limited to 'src/compiler/scala/tools/nsc/ast/TreeBrowsers.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/ast/TreeBrowsers.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/compiler/scala/tools/nsc/ast/TreeBrowsers.scala b/src/compiler/scala/tools/nsc/ast/TreeBrowsers.scala index 329f0fa54b..b73016837d 100644 --- a/src/compiler/scala/tools/nsc/ast/TreeBrowsers.scala +++ b/src/compiler/scala/tools/nsc/ast/TreeBrowsers.scala @@ -32,7 +32,7 @@ abstract class TreeBrowsers { val borderSize = 10 - def create(): SwingBrowser = new SwingBrowser(); + def create(): SwingBrowser = new SwingBrowser() /** Pseudo tree class, so that all JTree nodes are treated uniformly */ case class ProgramTree(units: List[UnitTree]) extends Tree { @@ -189,7 +189,7 @@ abstract class TreeBrowsers { frame.addWindowListener(new WindowAdapter() { /** Release the lock, so compilation may resume after the window is closed. */ override def windowClosed(e: WindowEvent): Unit = lock.release() - }); + }) jTree = new JTree(treeModel) { /** Return the string for a tree node. */ @@ -530,7 +530,7 @@ abstract class TreeBrowsers { if ((s ne null) && (s != NoSymbol)) { var str = s.flagString - if (s.isStaticMember) str = str + " isStatic "; + if (s.isStaticMember) str = str + " isStatic " (str + " annotations: " + s.annotations.mkString("", " ", "") + (if (s.isTypeSkolem) "\ndeSkolemized annotations: " + s.deSkolemize.annotations.mkString("", " ", "") else "")) } |