settings.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 29 行

SCALA
29
字号
/* NSC -- new Scala compiler * Copyright 2005-2007 LAMP/EPFL * @author  Martin Odersky */// $Id: Settings.scala 14270 2008-03-05 15:07:14Z washburn $package scala.tools.nsc.docimport java.io.Fileimport java.lang.Systemclass 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")  val pagebottom     = StringSetting    ("-bottom", "pagebottom", "Include bottom text for each page", "")  val doccharset     = StringSetting    ("-charset", "doccharset", "Charset for cross-platform viewing of generated documentation.", "")  val doctitle       = StringSetting    ("-doctitle", "doctitle", "Include title for the overview page", "Scala 2<br/>API Specification")  val pagefooter     = StringSetting    ("-footer", "pagefooter", "Include footer text for each page", "")  val pageheader     = StringSetting    ("-header", "pageheader", "Include header text for each page", "")  val linksource     = BooleanSetting   ("-linksource", "Generate source in HTML").hideToIDE  val nocomment      = BooleanSetting   ("-nocomment", "Suppress description and tags, generate only declarations.").hideToIDE  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")}

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?