search

writemonkey / wm3

167 stars 5 forks source link

Improvements concerning the document slider. #304

Open jmcd040 opened 5 years ago

jmcd040 commented 5 years ago
  1. The slider on the right of the document text area disappears. That makes it difficult to move through the document. I have to use the mouse wheel or some other means to start moving then I can use the slider. I'd rather have it visible all the time so I can quickly move through the document.
  2. When I search for something, you place small marks along the right edge where the slider would be if it were visible. That's very helpful. What would be more helpful is the ability to click on one of those marks and have the document move there. Again what currently is distracting is that even with the marks, the slider is invisible until I use some other means to move the document, making using the slider a two step process.