display current initialPosition/initialRows/initialCols #6632

Open
opened 2026-01-31 00:43:29 +00:00 by claunia · 0 comments
Owner

Originally created by @bruceoberg on GitHub (Feb 26, 2020).

Description of the new feature/enhancement

After the window position and size has been adjusted manually, I'd like to know exactly which numbers to set for initialPosition, initialRows, and initialCols in my profile. That is, I want to adjust my window by hand and then restore to that later.

Proposed technical implementation details (optional)

Hard to say... I just want to see the numbers. Perhaps some text in the about box? Or some commented out text in settings.json so that I can uncomment it to restore the window?

(Note that this is related to #4620 where I want to set the numbers from the command line. I need a way to adjust the window and get the numbers for my command line parameters, if that is ever offered).

Originally created by @bruceoberg on GitHub (Feb 26, 2020). # Description of the new feature/enhancement After the window position and size has been adjusted manually, I'd like to know exactly which numbers to set for `initialPosition`, `initialRows`, and `initialCols` in my profile. That is, I want to adjust my window by hand and then restore to that later. # Proposed technical implementation details (optional) Hard to say... I just want to see the numbers. Perhaps some text in the about box? Or some commented out text in `settings.json` so that I can uncomment it to restore the window? (Note that this is related to #4620 where I want to set the numbers from the command line. I need a way to adjust the window and get the numbers for my command line parameters, if that is ever offered).
claunia added the Issue-FeatureResolution-Duplicate labels 2026-01-31 00:43:30 +00:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#6632