Skip to content
Snippets Groups Projects
Select Git revision
  • dc7909d6b0f8ffe798125de43a7881e6ae3f26c7
  • main default protected
  • renovate/lock-file-maintenance
  • demo protected
  • person-select-custom
  • dbp-translation-component
  • icon-set-mapping
  • port-i18next-parser
  • remove-sentry
  • favorites-and-recent-files
  • revert-6c632dc6
  • lit2
  • advertisement
  • wc-part
  • automagic
  • publish
  • wip-cleanup
  • demo-file-handling
18 results

toolkit

  • Clone with SSH
  • Clone with HTTPS
  • Christoph Reiter's avatar
    Reiter, Christoph authored
    Add anew one since this adds some default padding and I don't want to
    break existing layouts by changing the normal button.
    
    If we figure out a way to keep the layout the same without changing
    the padding then we can merge things back.
    
    Also align the mini spinner a bit better with text
    dc7909d6
    History
    Name Last commit Last update