1. 15 Feb, 2019 1 commit
    • Milian Wolff's avatar
      cleanup: remove html prefix/suffix feature from navigation widget · 12e3583f
      Milian Wolff authored
      This was *only* being used by the project file quickopen feature,
      and you only saw it when clicking into the quickopen list, or when
      pressing alt. I doubt anyone ever did that. And it was madness
      anyways: we decreased the font size in a hacky non-html compliant
      way which actually made it quite hard to read for me. So the only
      thing we lose is the project name... which is an acceptable
      tradeoff. This feature messed up the whole API considerably, removing
      it makes me very happy.
      We can bring back the project name in the future by introducing a
      generic wrapper-widget that supports the
  2. 13 Sep, 2017 1 commit
  3. 06 Sep, 2017 1 commit
  4. 05 Sep, 2017 1 commit
  5. 19 Mar, 2017 1 commit
  6. 12 Mar, 2017 1 commit
  7. 23 Jul, 2016 1 commit