Results 4 comments of iStar

@vaezc 需要修改源码,贴一下我的解决步骤,希望对后来人有用: 0. 安装node.js开发环境(如果没有) 1. 运行`npm install`安装依赖 2. 全局搜索`highlight`,在找到的结果中删除`dev/sass/app.css`和`dev/sass/common.scss`中的`highlight`样式,如下图 ![image](https://user-images.githubusercontent.com/1464097/59018644-ef138e00-8878-11e9-83ae-c2035d57dfaf.png) 3. 运行gulp命令重新生成网站所用的样式文件:`node_modules/gulp/bin/gulp.js`

> @git-xiaomy try this: ```dart String? get terminalSelected { final range = _terminalController.selection; if (range == null) { return null; } return terminal.buffer.getText(range); } ```

刚刚试了Xcode 8/swift 3.0,是能跑起来的,但在iOS 10下有一些问题和crash。

Swift version no longer under maintain? Already switch to OC version, works fine. Thanks for your great work.