2 Commits

Author	SHA1	Message	Date
Matthew Rose	35e7e026cd	add "Insert Terminal Name" to the group menu	2022-11-20 13:42:20 -05:00
Matthew Rose	3d63c91517	[New Plugin] Plugin that inserts the name ... This plugin inserts the name of the terminal, as determined by Terminal.get_window_title() to all open terminals. Fixes #540	2022-11-19 23:01:05 -05:00