jlinereader.scala

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

SCALA
28
字号
/* NSC -- new Scala compiler * Copyright 2005-2007 LAMP/EPFL * @author Stepan Koltsov */// $Id: JLineReader.scala 14416 2008-03-19 01:17:25Z mihaylov $package scala.tools.nsc.interpreterimport java.io.File/** Reads from the console using JLine */class JLineReader extends InteractiveReader {  val consoleReader = {    val history = try {      new jline.History(new File(System.getProperty("user.home"), ".scala_history"))    } catch {      // do not store history if error      case _ => new jline.History()    }    val r = new jline.ConsoleReader()    r.setHistory(history)    r  }  def readLine(prompt: String) = consoleReader.readLine(prompt)  val interactive = true}

⌨️ 快捷键说明

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