search

andreikop / enki

A text editor for programmers
http://enki-editor.org
GNU General Public License v2.0
161 stars 38 forks source link

ScrollFix #266

Closed bjones1 closed 9 years ago

bjones1 commented 9 years ago

Fixes https://github.com/bjones1/enki/issues/35. A couple of questions:

  1. I added several diagrams in the process of revising the code. Where do you want to place these?
  2. Currently, there's a tolerance value that specifies the maximum number of pixels between the text and web highlight. Should I add this to the settings dialog? Currently, the value is 50. Larger values cause less scrolling, but allow looser alignment; smaller values do the opposite.
andreikop commented 9 years ago

Brief test shows that this version works much better! Will test more when preparing the release.

andreikop commented 9 years ago

I don't think we need to configure tolerance on the settings dialog. Users will not understand, what it means. Diagrams on the preview dock look amazing. I think it is right place for them.

bjones1 commented 9 years ago

Glad you like the diagrams. They helped me figure out how to write and test the code. Literate programming is wonderful...