One-way pinning, Hide pinned apps, cyan accent, real resolution

What's new since v0.7.0-beta

Pinning is one way now. Carrying an app from the app menu onto the bottom bar still pins it, but it can't be carried back. The only way to take an app off the bar is the Unpin button on its tile in Edit mode (or "Unpin from the bar" in that tile's OK menu). Carrying a bar app over the app menu, or pressing Up out of the bar, no longer does anything.

Settings

• Hide pinned apps (Settings > Apps > App menu): leaves the apps that are on the bottom bar out of the app menu, so each app shows once. Edit mode still lists them so you can move, rename or unpin them. Off by default.
• The default hover colour is now cyan. (Other colours are unchanged; anyone who chose a colour keeps it.)
• The panel is titled OpenLauncher Settings.

App info

• Resolution now shows the panel's real pixels ("3840 x 2160 (4K)") instead of the size the page is drawn at, and a new Page size line shows that ("1920 x 1080 @ 2x"). It uses the page size times the pixel ratio, the screen size the browser and webOS report, and the TV's UHD flag.
• If the TV's own service refuses the model and firmware lookup, webOS's own device info fills them in.
• "Based on: QwQHome by exkc" has its own row.

Cleanup: removed the unused old icon file, debug logging, a settings layout rule that could never trigger, some duplicate CSS and a stray id.

Notes

• Uninstall is not offered for the launcher itself or apps the TV reports as not removable.
• The cursor-timeout highlight uses webOS's cursorStateChange event and was tested with a simulated event, not yet on a real Magic Remote. The resolution fix was tested in a browser; on the TV it depends on what webOS reports.
• The settings panels use flex gap, which needs Chromium 84+ (webOS 22 and newer).
• Streaming uses roughly 6 Mbps (about 2.7 GB per hour). Use Game or Filmmaker picture mode to avoid grainy video.
• This is a beta. Please report anything odd.