Scriptrunner as main plugin#5652

Merged

joeizang merged 20 commits intomasterfrom

scriptrunnermain

Feb 17, 2025

Commits on Jan 16, 2025

seperate plugins
bunsenstraat
committed
fix bug with tabs
bunsenstraat
committed
fix test
bunsenstraat
committed
manager fix
bunsenstraat
committed
test
bunsenstraat
committed
Merge branch 'scriptrunnermain' of https://github.com/ethereum/remix-project into scriptrunnermain
bunsenstraat
committed
fix test
bunsenstraat
committed
focus
bunsenstraat
committed
seperate plugins
bunsenstraat
committed
fix bug with tabs
bunsenstraat
committed
fix test
bunsenstraat
committed
manager fix
bunsenstraat
committed
test

bunsenstraat
authored and
bunsenstraat
committed
fix test

bunsenstraat
authored and
bunsenstraat
committed
focus
bunsenstraat
committed
Merge branch 'scriptrunnermain' of https://github.com/ethereum/remix-project into scriptrunnermain
bunsenstraat
committed
linting
bunsenstraat
committed

Commits on Feb 15, 2025

Merge branch 'master' into scriptrunnermain
bunsenstraat
authored
lint
bunsenstraat
committed

Commits on Feb 17, 2025

Merge branch 'master' into scriptrunnermain
joeizang
authored