Add resize controls for scrollbarless terminals or move "Hide scrollbar and resize control" pref
By soylentm... on April 27, 2011 16:27 (imported from Google Code)
I have some terminals (such as IRC) that never need resizing, and other terminals (aka, normal terminals) that frequently do need resizing. However, since the "Hide scrollbar and resize control" option is under Appearances (and not under Profiles), it is currently impossible to make some windows resizable and other windows not resizable. You have to choose one or the other. I guess there would be three ways around this:
- Move the "Hide scrollbar and resize control" option under Profiles, so that users can create some terminals that have these controls and other terminals that don't, or
- Separate out the options into "Hide scrollbar" and "Hide resize control" so that even a scrollbar-less terminal can still have the lower right-hand corner dragged to resize it, or
- Offer up some sort of keyboard shortcut to temporarily display the scrollbar to allow resizing, or
- Allow all windows to be resized by dragging the corners, regardless of whether or not a scrollbar is displayed. When you move your mouse to the lower corner of a terminal, it changes to a resizing cursor, in much the same way that you get a resizing cursor when you hover over the line that separates a split terminal.
I think that (4) would be best, but I don't know if that's possible with the current UI kit that OS X comes with. I'm not sure I can see any reason why a user would never want the option to resize a terminal, especially if it doesn't add any horizontal or vertical size to the terminal and doesn't change the appearance of the terminal at all.
Thanks! :D