1. 22 Sep, 2020 9 commits
  2. 21 Sep, 2020 8 commits
  3. 20 Sep, 2020 2 commits
  4. 19 Sep, 2020 6 commits
  5. 18 Sep, 2020 2 commits
  6. 17 Sep, 2020 2 commits
    • yomgui's avatar
      Do not use round_to_int with cursor coordinates · 7c1ec74a
      yomgui authored
      round_to_int() transforms a value in [0.5, 1.0] into a 1.0 value.
      But when you scale-up an image and if the cursor is between
      the half of one image pixel and the right (or bottom) side of
      the same pixel the cursor fraction coordinate is between [0.5, 1.0]
      and the rounding operation causes the cursor to virtualy moved
      on the next pixel. The typical bad effect is to give the wrong
      pixel value in the status text line.
      7c1ec74a
    • Cyril Richard's avatar
      Fixing issue #563 · c34b93c3
      Cyril Richard authored
      c34b93c3
  7. 16 Sep, 2020 2 commits
  8. 15 Sep, 2020 1 commit
  9. 14 Sep, 2020 4 commits
  10. 13 Sep, 2020 4 commits