1. 25 9月, 2020 2 次提交
  2. 31 7月, 2020 1 次提交
  3. 10 7月, 2020 2 次提交
  4. 22 5月, 2020 1 次提交
    • R
      Fix #98043 · 3e2c52ca
      Rob Lourens 提交于
      Focus notebook find widget when it's shown
      3e2c52ca
  5. 08 5月, 2020 1 次提交
  6. 18 4月, 2020 1 次提交
  7. 19 3月, 2020 1 次提交
  8. 17 3月, 2020 2 次提交
  9. 14 3月, 2020 1 次提交
  10. 12 3月, 2020 1 次提交
  11. 03 3月, 2020 1 次提交
  12. 03 1月, 2020 1 次提交
  13. 24 10月, 2019 1 次提交
  14. 12 9月, 2019 1 次提交
  15. 22 8月, 2019 1 次提交
  16. 16 8月, 2019 1 次提交
  17. 04 8月, 2019 1 次提交
  18. 03 8月, 2019 1 次提交
  19. 01 8月, 2019 1 次提交
  20. 26 7月, 2019 4 次提交
  21. 17 7月, 2019 1 次提交
  22. 29 6月, 2019 1 次提交
  23. 06 6月, 2019 1 次提交
  24. 14 5月, 2019 1 次提交
  25. 13 5月, 2019 1 次提交
  26. 19 3月, 2019 1 次提交
  27. 11 3月, 2019 1 次提交
  28. 07 3月, 2019 1 次提交
  29. 22 2月, 2019 1 次提交
  30. 20 2月, 2019 1 次提交
  31. 12 2月, 2019 2 次提交
  32. 08 2月, 2019 1 次提交
  33. 07 2月, 2019 1 次提交
    • M
      Change `ITheme.getColor(...)` to returned `Color | undefined` · 05c58615
      Matt Bierner 提交于
      **Problem**
      `ITheme.getColor` is one of the major users of the type `null` in our codebase. However this function is used in many places that expected an `undefined` type instead. With the strict null work, this means that we have to write code such as `theme.getColor(...) || undefined` in some cases or have to work with  `Color | null | undefined` types.
      
      **Fix**
      `undefined` is generally better supported by TypeScript and more natural in JavaScript. This change makes `ITheme.getColor` return `Color | undefined` instead of `Color | null`.
      05c58615