Add a scroll bar option

Browse Source

The option is `scrollbar` and is off by default. The scroll bar is
not interactive (you can't click and drag it) but this will likely
be fixed in the future.

Ref #869

...

This commit is contained in:

Zachary Yedidia

2017-11-05 20:07:14 -05:00

parent c01ba97215

commit 423f4675d2

6 changed files with 89 additions and 17 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

27

cmd/micro/runtime.go

File diff suppressed because one or more lines are too long