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 + -
显示快捷键?