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