some settings are now ignored #7648

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

Originally created by @dave-c-whitney on GitHub (Apr 24, 2020).

"initialCols": 200,
"initialRows": 65,
"initialPosition": "0,0",
"wordDelimiters" : " ()\"'-:,;<>~!@#$%^&*|+=[]{}~?\u2502",

none of these are effective any more. Window opens with defaults for size and position, and double-click-to-select is stopping at / chars, despite it not being in the list.

Originally created by @dave-c-whitney on GitHub (Apr 24, 2020). "initialCols": 200, "initialRows": 65, "initialPosition": "0,0", "wordDelimiters" : " ()\"'-:,;<>~!@#$%^&*|+=[]{}~?\u2502", none of these are effective any more. Window opens with defaults for size and position, and double-click-to-select is stopping at / chars, despite it not being in the list.
claunia added the Resolution-Duplicate label 2026-01-31 01:09:31 +00:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#7648