diff options
| author | codesoap <codesoap@mailbox.org> | 2019-06-18 09:54:19 +0200 |
|---|---|---|
| committer | codesoap <codesoap@mailbox.org> | 2019-06-18 09:58:32 +0200 |
| commit | feebad14b057b216449b63485a35d831e9a7859f (patch) | |
| tree | 75008177ff4d5da63f0c31b14503531252fd464c /src/command_manager.cc | |
| parent | 5888e23e020ac3fd56a93c75682a216bd7085593 (diff) | |
Set the REPL window title using xdotool
As mentioned in issue #2973, the -t argument for setting the terminal
title was not very portable.
Diffstat (limited to 'src/command_manager.cc')
0 files changed, 0 insertions, 0 deletions