1. 27 Nov, 2018 1 commit
  2. 14 Nov, 2018 1 commit
  3. 09 Aug, 2018 2 commits
  4. 24 May, 2018 1 commit
  5. 16 May, 2018 1 commit
    • Guido Gunther's avatar
      Add an arrows widget · 4ee0366c
      Guido Gunther authored
      The widget prints a number of arrows one by one to indicate a sliding
      direction. Number of arrows and animation duration are configurable.
      4ee0366c