Hey,
the signal selection lacks the functionality to use number keys for selecting signals to send.
The absence of this feature makes the signal selection process time-consuming as users are required to manually navigate through options using arrow keys.
e.g. on a 8 GPU system, killing a multi-process (1 per gpu) application spreading multiple GPUs takes like 80 keystrokes (8 F9 + 88 arrow down + 8 * Return)
Hey, the signal selection lacks the functionality to use number keys for selecting signals to send. The absence of this feature makes the signal selection process time-consuming as users are required to manually navigate through options using arrow keys. e.g. on a 8 GPU system, killing a multi-process (1 per gpu) application spreading multiple GPUs takes like 80 keystrokes (8 F9 + 88 arrow down + 8 * Return)
regards!