1. 21 12月, 2020 1 次提交
  2. 07 12月, 2020 1 次提交
  3. 13 10月, 2020 1 次提交
  4. 17 9月, 2020 1 次提交
  5. 09 9月, 2020 1 次提交
  6. 08 9月, 2020 1 次提交
  7. 06 9月, 2020 1 次提交
  8. 03 6月, 2020 1 次提交
  9. 13 5月, 2020 2 次提交
  10. 08 5月, 2020 1 次提交
  11. 07 5月, 2020 1 次提交
    • B
      Support for pinned tabs (#97078) · b85061a0
      Benjamin Pasero 提交于
      * first cut
      
      * editor title - remove closeAllEditors() method
      
      * editors - do not talk about pinning in settings
      
      * editors - wrap up sticky tabs
      b85061a0
  12. 13 4月, 2020 2 次提交
  13. 08 1月, 2020 1 次提交
    • R
      Replace all description-container classes with correct selector · fae08be5
      RealZogger 提交于
      A number of styles were missing from various locations due to the changes to support multiple icon labels in 8bb358f2
      
      This change replaces all instances of the old class name .monaco-icon-label-description-container with the selector .monaco-icon-label-container > .monaco-icon-name-container
      fae08be5
  14. 13 11月, 2019 1 次提交
  15. 06 11月, 2019 1 次提交
  16. 05 11月, 2019 2 次提交
  17. 29 10月, 2019 3 次提交
  18. 25 10月, 2019 1 次提交
  19. 24 10月, 2019 1 次提交
  20. 16 10月, 2019 1 次提交
  21. 15 10月, 2019 1 次提交
  22. 11 10月, 2019 2 次提交
  23. 24 9月, 2019 2 次提交
  24. 07 9月, 2019 1 次提交
  25. 29 6月, 2019 1 次提交
  26. 19 6月, 2019 1 次提交
  27. 24 1月, 2019 1 次提交
    • S
      Workbench Grid Layout Behind flag (#63066) · c45d91d9
      SteVen Batten 提交于
      * partially functioning grid view
      
      * lots of toggling behavior and editor restore
      
      * dimension changes
      
      * restore layout and fix titlebar
      
      * fix view dimensions on toggle/move
      
      * increase timeout for debug config
      
      * undo unnecessary changes to CSS
      
      * put grid layout behind setting
      
      * fix strict null checks
      
      * address code comments from @bpasero
      
      * changing key name
      c45d91d9
  28. 11 12月, 2018 1 次提交
  29. 05 12月, 2018 1 次提交
  30. 08 10月, 2018 1 次提交
    • A
      Add border for dirty tabs (#59759) · e891e2f3
      Alexander 提交于
      * Theming for dirty tabs
      
      * Improve border for dirty tabs
      1. Make it thinner
      2. Add a setting to disable it
      3. Use 4 colors (activeFocused, activeUnfocused, inactiveFocused, inactiveUnfocused)
      4. Move part of logic
      
      * Hot apply of setting `dirtyTabBorder`
      
      * Rename the setting
      
      * Add default dirty border for all themes
      
      * 3 of the 4 colors should be derived from the one main color
      
      * Rename `dirty` to `modified`
      
      * Rename `modifiedActiveFocusedBorder` to `modifiedBorder`
      
      * Add modified border color for built-in themes
      
      * More contrast
      
      * Applying style directly on element
      
      * Changing only color
      
      * Using full border
      
      * Using existing div for border styling
      
      * Add setting to telemetry
      
      * Uncomment cleanup code
      
      * tweak colors and descriptions
      
      * 💄
      e891e2f3
  31. 04 9月, 2018 2 次提交
  32. 29 8月, 2018 1 次提交