william

Results 39 comments of william

... Since posting I found that the menu option works for Gradle profiles. I'm adding that here in case anyone else is wanting to do this. I still think the...

I am pleased to find this issue. A 'Drag-n-Drop' is now a basic feature of GUI interfaces. Some business software (e.g. Xero) don't take a path, you need to drag...

Greetings all, I'm very interested in this topic since Nividia still freezes everything when I use _suspend_ - It is just a cross to bear ~sigh~. And so, I **can**...

Hi - I prefer the facility to name the tab of the current shell. User-interface for me should be command line first and optionally a [right-click] on a tab for...

Hi not too sure what is being requested. The I use following `bash` function inside a script I called `tab-title` to change the tab name: ``` set_title(){ echo -e "\e]2;${1}\a...

@joaov777 ... This command will rename your tab: ``` NAME="tab name here" echo -e "\e]2;$NAME\a tab --> [$NAME]" ``` This has worked for many years now. You'd need to make...

Hi ya for 'some people _et al_' -- Yes that can be added, of course -- That was my original tought too. That feature will make Tilda unique. A great...

@venteto ... Most if not all of that functionality exists in the Terminator terminal project - [Terminator](https://gnome-terminator.readthedocs.io)

@venteto ... Hi well ALL the X-11 terminal programs seem to work with the hack I've been using: ``` name: "XXX" `set-ttile XXX` set_title() { echo -e "\e]2;${1}\a tab -->...