SUMMARY The 'Hide Terminal Panel' option (under the 'Tools' menu) doesn't work when clicked. The associated keyboard shortcut (F4) also doesn't work, which means that the only way to hide the terminal panel is to show the sidebars and press the 'Terminal Panel' button. STEPS TO REPRODUCE 1. Open the terminal panel by clicking 'Tools' -> 'Show Terminal Panel'. 2. Close the terminal panel by clicking 'Tools' -> 'Hide Terminal Panel' or pressing 'F4' on the keyboard. OBSERVED RESULT The terminal panel does not close. EXPECTED RESULT The terminal panel closes. SOFTWARE/OS VERSIONS Windows: N/A (not tested) macOS: N/A (not tested) Linux: Mint 21.1 (Cinnamon) Linux Kernel: 5.15.0-56-generic Cinnamon Version: 5.6.5 KDE Plasma Version: Unknown KDE Frameworks Version: 5.92.0 Qt Version: 5.15.3
Changed version to `22.04.3`, after updating my local version of Kate (by adding a Kubuntu PPA backport) and re-testing for the bug.
Works for me with 22.12
I had a feeling this issue might've been resolved in a more recent version of Kate. I think the main issue is that the version supplied by the Mint Software Manager is quite out of date (v21.12), and even the version supplied by the Kubuntu PPA backport is somewhat out of date (v22.04), but that's a separate issue so this ticket can be closed now.