Skip to content

Allow minimizing of the Launch Page Profiler#1698

Merged
willeastcott merged 2 commits intomainfrom
minimize-profiler
Jan 20, 2026
Merged

Allow minimizing of the Launch Page Profiler#1698
willeastcott merged 2 commits intomainfrom
minimize-profiler

Conversation

@willeastcott
Copy link
Contributor

@willeastcott willeastcott commented Jan 20, 2026

Summary

minimize-profiler.mp4
  • Adds minimize/maximize functionality to the Launch Page profiler panel
  • When minimized, the profiler collapses to a small 32x32 button in the bottom-right corner
  • Clicking the button toggles between minimized and expanded states
  • ALT+T keyboard shortcut still works to fully show/hide the profiler

This addresses the issue where mobile users cannot re-open the profiler after closing it (no keyboard for ALT+T).

Fixes #401

Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR adds minimize/maximize functionality to the Launch Page profiler panel to address mobile usability issues where users cannot re-open the profiler after closing it (since ALT+T keyboard shortcut isn't available on mobile).

Changes:

  • Adds state management for minimized/maximized profiler states
  • Replaces close button with minimize/maximize toggle button
  • When minimized, profiler collapses to a 32x32 button in the bottom-right corner

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 3 comments.

File Description
src/launch/tools/tools.ts Adds minimized state variable and methods for checking, minimizing, and maximizing the profiler
src/launch/tools/tools-toolbar.ts Replaces close button with minimize/maximize toggle button and adds icon update logic
sass/launch.scss Adds CSS styles for the minimized state, hiding content panels and repositioning the toolbar

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@willeastcott willeastcott merged commit 05ea2ef into main Jan 20, 2026
3 checks passed
@willeastcott willeastcott deleted the minimize-profiler branch January 20, 2026 18:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area: launch tab enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Permit minimize of the profiler in the Launch Page

2 participants