1. 25 Jun, 2020 1 commit
  2. 24 Jun, 2020 3 commits
  3. 23 Jun, 2020 2 commits
  4. 22 Jun, 2020 9 commits
  5. 21 Jun, 2020 1 commit
  6. 17 Jun, 2020 1 commit
  7. 12 Jun, 2020 1 commit
  8. 11 Jun, 2020 1 commit
  9. 07 Jun, 2020 2 commits
  10. 04 Jun, 2020 1 commit
  11. 01 Jun, 2020 2 commits
  12. 31 May, 2020 3 commits
  13. 25 May, 2020 1 commit
  14. 24 May, 2020 1 commit
  15. 19 May, 2020 1 commit
  16. 18 May, 2020 4 commits
  17. 17 May, 2020 1 commit
  18. 13 May, 2020 4 commits
  19. 12 May, 2020 1 commit
    • Christian Hergert's avatar
      editor: maintain line/column after reloading file · c6162d8a
      Christian Hergert authored
      We want to try to keep the cursor in as close of position as we can to the
      previous form when reloading the file. This tries to maintain that but
      will fallback to the latest line (assuming line is past the last line)
      and then the column up to the last column (assuming line_offset is past
      the end of the line).
      
      Fixes #1211
      c6162d8a