Allan Odgaard ad750b0b76 Auto-hide the text view’s scroll bars ...

This is for users who have set “show scroll bars” to “always” (or auto and am using a mouse).

Closes #527.

2013-02-06 14:50:04 +01:00

..

resources

Replace live search xib with code

2013-01-28 15:44:27 +01:00

src

Auto-hide the text view’s scroll bars

2013-02-06 14:50:04 +01:00

target

Rework symbol chooser code

2013-01-30 16:17:32 +01:00