1. 24 Feb, 2017 6 commits
  2. 23 Feb, 2017 3 commits
  3. 22 Feb, 2017 3 commits
  4. 21 Feb, 2017 3 commits
  5. 17 Feb, 2017 6 commits
  6. 16 Feb, 2017 3 commits
  7. 14 Feb, 2017 1 commit
  8. 13 Feb, 2017 10 commits
  9. 12 Feb, 2017 4 commits
  10. 10 Feb, 2017 1 commit
    • Benno Schulenberg's avatar
      spelling: don't unnecessarily fiddle with the viewport · 914af365
      Benno Schulenberg authored
      If we're somewhere deep into the file and do a spell check, and the
      first misspelled word happens to be right there, onscreen already,
      then this word does not need to be centered -- it /should/ not be
      centered.  We should scroll only when necessary.
      914af365