Skip to content

Disable run/interrupt/restart buttons when switching kernels#10291

Merged
rchiodo merged 1 commit intomasterfrom
rchiodo/disable_kernel_buttons
Feb 24, 2020
Merged

Disable run/interrupt/restart buttons when switching kernels#10291
rchiodo merged 1 commit intomasterfrom
rchiodo/disable_kernel_buttons

Commits

Commits on Feb 24, 2020