Antonio Scandurra cc028cca78 Simplify usage of tooltip ...

Now you simply specify a text, an action and a style and GPUI will
take of rendering it properly. This is simpler compared to always
providing a custom element and should make tooltip more consistent
across the UI.

2022-06-02 09:12:50 +02:00

..

styleTree

Simplify usage of tooltip

2022-06-02 09:12:50 +02:00

themes

Merge pull request #1059 from zed-industries/fix-theme-occurence-color

2022-05-25 10:57:10 -04:00

utils

Update token build script for figma

2022-04-28 14:08:59 -04:00

buildThemes.ts

Delete theme files more selectively when regenerating them

2022-05-18 14:17:26 -07:00

buildTokens.ts

Dynamically load all themes listed under styles/src/themes/*.ts

2022-05-17 16:08:14 +02:00

themes.ts

Clean up themes

2022-05-18 11:41:56 -04:00

tokens.ts

Update size token function and types

2022-04-28 14:07:20 -04:00