diff options
author | Paul Phillips <paulp@improving.org> | 2009-03-13 14:58:16 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2009-03-13 14:58:16 +0000 |
commit | 5f0edd35f0264789c3b5200f3cf7ec1b95335837 (patch) | |
tree | 37a506b4e975c6037bc05dbfe3e458e8abe526ea /src | |
parent | cd105bb1f485acec9a5f4e57b859112f30bd43f5 (diff) | |
download | scala-5f0edd35f0264789c3b5200f3cf7ec1b95335837.tar.gz scala-5f0edd35f0264789c3b5200f3cf7ec1b95335837.tar.bz2 scala-5f0edd35f0264789c3b5200f3cf7ec1b95335837.zip |
Miles and I agreed it is not sensible for the c...
Miles and I agreed it is not sensible for the compiler to make decisions
about what's visible in the IDE: so, some cutting.
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/Settings.scala | 18 | ||||
-rw-r--r-- | src/compiler/scala/tools/nsc/doc/Settings.scala | 6 |
2 files changed, 0 insertions, 24 deletions
diff --git a/src/compiler/scala/tools/nsc/Settings.scala b/src/compiler/scala/tools/nsc/Settings.scala index 08ea8932ba..2af4b66c05 100644 --- a/src/compiler/scala/tools/nsc/Settings.scala +++ b/src/compiler/scala/tools/nsc/Settings.scala @@ -299,10 +299,6 @@ object Settings /** A list of Strings which can recreate this setting. */ def unparse: List[String] - /** Set to false if option should be shown to IDE. */ - var hiddenToIDE: Boolean = true - def showToIDE() = hiddenToIDE = false - /** Optional dependency on another setting */ protected[Settings] var dependency: Option[(Setting, String)] = None def dependsOn(s: Setting, value: String): this.type = { dependency = Some((s, value)); this } @@ -686,18 +682,4 @@ trait ScalacSettings */ val pluginOptions = MultiStringSetting("-P", "plugin:opt", "Pass an option to a plugin") . withHelpSyntax("-P:<plugin>:<opt>") - - /** - * IDE Visible Settings - "showToIDE" called on each. - */ - - val settingsForIDE = { - val xs = List( - argfiles, dependenciesFile, debuginfo, make, XO, target, - Xchecknull, checkInit, noassertions, Xexperimental, future, XlogImplicits, nouescape, XnoVarargsConversion, pluginsDir, Xwarninit, - Xcloselim, Xdce, Xdetach, inline, Xlinearizer, Ynogenericsig, noimports, nopredefs, selfInAnnots, Xwarndeadcode - ) - xs foreach { _.showToIDE } - xs - } } diff --git a/src/compiler/scala/tools/nsc/doc/Settings.scala b/src/compiler/scala/tools/nsc/doc/Settings.scala index a6357a31cf..7d25cbc310 100644 --- a/src/compiler/scala/tools/nsc/doc/Settings.scala +++ b/src/compiler/scala/tools/nsc/doc/Settings.scala @@ -10,7 +10,6 @@ import java.io.File import java.lang.System class Settings(error: String => Unit) extends scala.tools.nsc.Settings(error) { - /** scaladoc specific options */ val memberaccess = ChoiceSetting ("-access", "Show only public, protected/public (default) or all classes and members", List("public", "protected", "private"), "protected") @@ -24,9 +23,4 @@ class Settings(error: String => Unit) extends scala.tools.nsc.Settings(error) { val stylesheetfile = StringSetting ("-stylesheetfile", "stylesheetfile", "File to change style of the generated documentation", "style.css") val pagetop = StringSetting ("-top", "pagetop", "Include top text for each page", "") val windowtitle = StringSetting ("-windowtitle", "windowtitle", "Specify window title of generated HTML documentation", "Scala 2") - - List( - memberaccess, pagebottom, doccharset, doctitle, pagefooter, - pageheader, stylesheetfile, pagetop, windowtitle - ) foreach { _.showToIDE } } |