Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Intelligently hidden panel does not automatically hide #10870

Closed
warwickmm opened this issue Jun 22, 2022 · 0 comments
Closed

Intelligently hidden panel does not automatically hide #10870

warwickmm opened this issue Jun 22, 2022 · 0 comments

Comments

@warwickmm
Copy link

 * Cinnamon version (cinnamon --version): Cinnamon 5.4.2
 * Distribution: Arch
 * Graphics hardware *and* driver used
00:02.0 VGA compatible controller: Intel Corporation UHD Graphics 620 (rev 07) (prog-if 00 [VGA controller])
	Subsystem: Lenovo Device 225c
	Flags: bus master, fast devsel, latency 0, IRQ 138
	Memory at 2ffa000000 (64-bit, non-prefetchable) [size=16M]
	Memory at b0000000 (64-bit, prefetchable) [size=256M]
	I/O ports at e000 [size=64]
	Expansion ROM at 000c0000 [virtual] [disabled] [size=128K]
	Capabilities: <access denied>
	Kernel driver in use: i915
	Kernel modules: i915
 * 32 or 64 bit: 64 bit

 * Attach ~/.xsession-errors, or /var/log/syslog

Issue

When the panel (at the top of the screen) is set to "Intelligently hide panel", maximizing an application window does not hide the panel. Rather, the panel remains visible and obscures the top of the application window.

panel does not hide

Steps to reproduce

  1. Set the panel to "Intelligently hide panel".
  2. Open an application window (not maximized).
  3. Maximize the application window.
  4. Notice that the panel remains visible and is obscuring the top of the application window.

Expected behaviour

Maximizing an application window should hide the panel.

Other information

Configuration info, if applicable
If this bug report is related to an Applet, Desklet or Extension, please paste (or use a pastebin service) the offending extension's settings, if it has any. You can obtain this by opening its configuration, clicking the 'hamburger' button in the upper-right corner of the window, and selecting "Export to a file". Please be sure to review the contents and remove any personal data it may contain.


Please paste here

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants