Commit Graph

30 Commits (edaaeebea7fd5a380fe16278ceb20baea92655d3)

Author SHA1 Message Date
lianahus d0a6be9c47 editor menu color scheme fixes for some themes 2 years ago
lianahus e8e8fdb132 editor menu color scheme fixes for some themes 2 years ago
lianahus e9d9770054 editor menu color scheme fixes for some themes 2 years ago
lianahus 5fe8dc99ae added yul 2 years ago
lianahus c806eb7d45 compile for .sol files 2 years ago
lianahus 127fef4377 improving tooltip 2 years ago
lianahus 46a082a815 play btn to run scripts 2 years ago
filip mertens 82edba9b84 add test 2 years ago
filip mertens 12d0c6a25e higlight provider 2 years ago
filip mertens 1303bac2e0 add file decorators 2 years ago
filip mertens a863e37dd6 moving file states 2 years ago
filip mertens e5676293a4 restore some files 2 years ago
lianahus 8cd5608f96 fixed icons' colors 3 years ago
filip mertens 3a1c31da88 types 3 years ago
lianahus 26df10dfd3 fixed color of tab icons for theme change 3 years ago
yann300 5810d4c23e fix loop over references 3 years ago
yann300 28ed4c8492 use onSelect from Tabs 3 years ago
lianahus 2f2d14b5ed linter 3 years ago
yann300 18582116c9
remove uneeded 3 years ago
yann300 fa3037dddc fix tab scroll 3 years ago
yann300 c2189aabfb fix scroll 3 years ago
lianahus 9afe924a01 fixing 3 years ago
lianahus 0b513b015b added vertical scroll to tabs 3 years ago
lianahus f9a92f6eb8 fixed the scroll when zoom in 3 years ago
yann300 9582e29a30 fix prod build 3 years ago
yann300 cce3fb941e fix production build 3 years ago
yann300 f6dd4e78d5 use react-tabs production build 3 years ago
yann300 358d05de0a update icon 3 years ago
yann300 51c689436c make sure tabs are correctly closed 3 years ago
lianahus a979c62f35 fixed scroll. todo@ icon should be hidden if scroll is hidden 3 years ago
lianahus f9ce35eb97 tabs UI improvements 3 years ago
yann300 030a82b28b remove log 3 years ago
yann300 a4c24af2be fix e2e 3 years ago
yann300 4b27dc7dc8 fix e2E 3 years ago
yann300 e145a2daa1 fix e2e 3 years ago
yann300 7accbc72db add scroll functionality 3 years ago
yann300 d7ef6da6d8 tabs in react 3 years ago