| Summary: | 'Hide Terminal Panel' Menu Option Doesn't Work | ||
|---|---|---|---|
| Product: | [Applications] kate | Reporter: | Alex Khouri <alex.khouri> |
| Component: | application | Assignee: | KWrite Developers <kwrite-bugs-null> |
| Status: | RESOLVED WORKSFORME | ||
| Severity: | normal | CC: | christoph |
| Priority: | NOR | ||
| Version First Reported In: | 22.04.3 | ||
| Target Milestone: | --- | ||
| Platform: | Mint (Ubuntu based) | ||
| OS: | Linux | ||
| Latest Commit: | Version Fixed/Implemented In: | 22.12.0 | |
| Sentry Crash Report: | |||
|
Description
Alex Khouri
2022-12-28 01:29:50 UTC
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. |