Commit Graph

20086 Commits (22a6940a74a8c7aa9e6f0673567e3388d9f28ec4)
 

Author SHA1 Message Date
yann300 f2707f0161 update warning & only show once per session 2 years ago
yann300 3bcd519706 warn code pasted 2 years ago
Aniket-Engg 56d1725d41 fixes #2995 2 years ago
Aniket-Engg df24c9328f fixes #2993 2 years ago
Joseph Izang ce9af564a7 custom tooltip to reset etherscan 2 years ago
Joseph Izang 8baa0394d4 add custom tooltip to search 2 years ago
Joseph Izang ebbf19f3a6 clean up unused imports in runtab 2 years ago
Joseph Izang ca2676bbcd apply custom tooltip to run-tab 2 years ago
Joseph Izang 1a1656612b cleanup unused react-bootstrap import 2 years ago
Joseph Izang 953a574e9a add custom tooltips to debugger-ui and home-tab. modify custom tooltip further 2 years ago
Joseph Izang 88de257bc4 refactored button navigation 2 years ago
Joseph Izang 1fc70bd850 replaced raw tooltip implementation for remix-ui-checkbox 2 years ago
drafish ef01b4bb91 Merge branch 'master' into intl 2 years ago
Aniket-Engg 9031c9ab4c ABI-compliant handlers for console log 2 years ago
Aniket-Engg 6ee0e20d07 check if build dir exists 2 years ago
Aniket-Engg 726faac184 remove stored build files 2 years ago
Aniket-Engg 2d15730093 remove previous build file 2 years ago
David Disu c04bdebf82 Merge pull request #2879 from ethereum/git-branch 2 years ago
David Disu c027a2b9fc Ensure Git options is fixed to bottom 2 years ago
David Disu e6ab0bda59 Align git options to base of file-explorer 2 years ago
David Disu 902824dc8a Removed activating dgit on initialization 2 years ago
David Disu 1034486e39 Allow fallback to default config 2 years ago
David Disu 918ee8e4df Activate dgit for git workspaces 2 years ago
David Disu 486771366e set default branch name 2 years ago
filip mertens e36ae2792f Cherry pick Filips fixes 2 years ago
David Disu c0952b0053 Fixed switching to remote branches 2 years ago
David Disu ff367f16d0 List uncommitted files 2 years ago
David Disu d4bc15f479 Show dgit option only for git workspace 2 years ago
David Disu 0068195b0c separate local branch from remote branch 2 years ago
David Disu 4fe76cc201 Fix clone bug 2 years ago
David Disu ad06cb9302 switch branches and checkout to new branch 2 years ago
David Disu 3744ac36d2 Basic checkout implementation 2 years ago
David Disu 13ef650a91 Filter branches list and view all branches on dgit 2 years ago
David Disu 569b189f0a List branches 2 years ago
David Disu 64434abc0d fetch branches 2 years ago
David Disu e9174de499 branch UI 2 years ago
David Disu 82967cf6a9 Stack file-explorer and dgit options 2 years ago
Joseph Izang cd01e51333 fix misalignment with tooltip and target element. 2 years ago
Joseph Izang 0d85e13313 fix effective region of tooltip 2 years ago
Joseph Izang 40a9b4b022 finish custom tooltip refactor. Test in panel header 2 years ago
Joseph Izang 27bb55ed9a add types for refactored component 2 years ago
drafish 435f4a2547 Merge branch 'master' into intl 2 years ago
Joseph Izang 644a5de626 Merge pull request #2949 from ethereum/custom-tooltips-debugger 2 years ago
Joseph Izang 0c58ad4f8f fix faulty tooltip button association add tooltip to plugin manager header 2 years ago
Joseph Izang 2129dc403c fix css issues 2 years ago
Joseph Izang 2c9dd2d185 fix dubugging navigation buttons 2 years ago
Joseph Izang 068f4bb830 fix debug buttons e2e test failures 2 years ago
Joseph Izang b1918aaf00 fix e2e tests 2 years ago
Joseph Izang f46e379861 add more custom tioltips 2 years ago
Joseph Izang efabe268eb fix faling e2e 2 years ago