Greying out pending nodes in the IDE#4088

Closed

JaroslavTulach wants to merge 7 commits intodevelopfrom wip/eng/GreyPendingNodes_184034702

+9-1

Commits on Jan 25, 2023

Commits on Jan 26, 2023

cargo fmt
JaroslavTulach
committed

Commits on Jan 27, 2023

Note about greying out nodes in the changelog
JaroslavTulach
committed
Replacing Some("useless text") with None
JaroslavTulach
committed
Merge remote-tracking branch 'origin/develop' into wip/eng/GreyPendingNodes_184034702
JaroslavTulach
committed

Commits on Jan 28, 2023

Merge branch 'develop' into wip/eng/GreyPendingNodes_184034702
JaroslavTulach
authored