29 Commits (2c507a97080e3f361f1993098cf7908d1af5934c)

Author	SHA1	Message	Date
lianahus	600cd77fc6	added yul	2 years ago
lianahus	8cd324aced	compile for .sol files	2 years ago
lianahus	867b09a1b3	improving tooltip	2 years ago
lianahus	befdf718fa	play btn to run scripts	2 years ago
filip mertens	5ad402fc41	add test	2 years ago
filip mertens	583b4dc09d	higlight provider	2 years ago
filip mertens	a75247681c	add file decorators	2 years ago
filip mertens	c26846ca06	moving file states	2 years ago
filip mertens	81d2fdd3f1	restore some files	2 years ago
lianahus	fa663e99a6	fixed icons' colors	3 years ago
filip mertens	82c93e3138	types	3 years ago
lianahus	b493ee384c	fixed color of tab icons for theme change	3 years ago
yann300	a67d70b841	fix loop over references	3 years ago
yann300	8a3983312f	use onSelect from Tabs	3 years ago
lianahus	3cd19fafd6	linter	3 years ago
yann300	2eb1baa674	remove uneeded	3 years ago
yann300	0f86308f4a	fix tab scroll	3 years ago
yann300	182915ff5f	fix scroll	3 years ago
lianahus	306efb05a1	fixing	3 years ago
lianahus	b022e1dc6e	added vertical scroll to tabs	3 years ago
lianahus	76b418e6f4	fixed the scroll when zoom in	3 years ago
yann300	1de5661740	fix prod build	3 years ago
yann300	ee52261570	fix production build	3 years ago
yann300	4b2df98098	use react-tabs production build	3 years ago
yann300	a5c1140b21	update icon	3 years ago
yann300	1b99356014	make sure tabs are correctly closed	3 years ago
lianahus	de522b2631	fixed scroll. todo@ icon should be hidden if scroll is hidden	3 years ago
lianahus	782ddf4b4d	tabs UI improvements	3 years ago
yann300	036ab256ae	remove log	3 years ago
yann300	3c53174977	fix e2e	3 years ago
yann300	2e9ab6b92c	fix e2E	3 years ago
yann300	1bf2be5bcc	fix e2e	3 years ago
yann300	fffa23a9e3	add scroll functionality	3 years ago
yann300	c5b5dc2c68	tabs in react	3 years ago