With workaround from Michał Sawicz, I have another bug.
1. Open some Terminals 2. Press «F10» (tilda typed, delete it) 3. Press Ctrl-D or type «exit» 4. All terminals will crash.
With workaround from Michał Sawicz, I have another bug.
1. Open some Terminals
2. Press «F10» (tilda typed, delete it)
3. Press Ctrl-D or type «exit»
4. All terminals will crash.