![]() ![]() Terminal now supports the remaining FinalTerm mark types (command input start, command executed and command finished) ( #14341).After a process terminates, you can press Ctrl+D to close its pane or Enter to relaunch it ( #14060).JSON field $profile.scrollbarState has learned the new enum value always.You can now set the scroll bar to be "always" displayed (thanks ( #14047).To the standard/built-in default menu layout. This feature includes support for adding folders, separators, and profiles that meet certain criteria in addition.The first time you save your settings in 1.17, we'll convert your existing menu to the new format.Right now, you can only do this with JSON check out the docs for newTabMenu. ![]()
0 Comments
Leave a Reply. |