! Please note that this is a snapshot of our old Bugzilla server, which is read only since May 29, 2020. Please go to gitlab.xfce.org for our new server !
Send different sequences for backspace and ctrl-backspace
Status:
RESOLVED: FIXED
Product:
Xfce4-terminal
Component:
General

Comments

Description xyzdr4gon333 2016-02-09 04:21:39 CET
xfce4-terminal is one of the only terminals which sends the same sequence for backspace and ctrl+backpsace (for me by default on auto-detect: ^?) which makes differentiating between those two in .inputrc impossible. E.g. xterm and while using the virtual terminals ^? is sent on a simple backspace and ^H on ctrl-backspace.

If there is no argument against sending different sequences, it would be cool to implement this in xfce4-terminal.

Also I'm using 0.6.3 which can't be selected in bugzilla yet
Comment 1 Egmont Koblinger 2016-02-14 20:08:36 CET
Porting to gtk3 (actually the newest vte which is based on gtk3) will fix this. See bug 11207.
Comment 2 Igor editbugs 2016-07-27 16:42:12 CEST
Fixed with bug 11207
Comment 3 xyzdr4gon333 2017-02-09 11:29:27 CET
It finally found it's way to me through apt-get :) Every time it works I rejoice. Unfortunately I always have taught myself to use ctrl+left,ctrl+del instead of ctrl+backspace
Comment 4 Igor editbugs 2017-02-09 11:31:56 CET
How do you like the gtk3 version?
Comment 5 xyzdr4gon333 2017-02-09 20:44:55 CET
Created attachment 6989 
Quick comparison tab style GTK2 vs. GTK3

(In reply to Igor from comment #4)
> How do you like the gtk3 version?

Honestly the only difference I noticed beside the Ctrl+Backspace working is the same thing which kinda bugged me in Scite back then, i.e. the tabs have twice the height as the GTK versions. But I kinda got used to it, it actually looks kinda nice. Less Win98 style.
In contrast to Scite the tabs aren't twice as wide though, but the font still is. I gather this is because GTK3 is more touch-oriented? In my opinion it's wasted space. Maybe I can somehow adjust my theme, but I don't feel like trying right now.
Comment 6 Igor editbugs 2017-02-09 20:48:20 CET
Well, you aren't the only one complaining about the tabs :)
I've added an option to make them more slim, it's under Preferences -> Advanced in 0.8.4.
Comment 7 xyzdr4gon333 2017-02-09 21:06:13 CET
Oh that's cool, thank you.

I hope it will be in the repository soon, currently I can only install 0.8.3 and when trying to make from source, after git checkout xfce4-terminal-0.8.4, I get

make[3]: Entering directory '/media/d/Downloads/xfce4-terminal/terminal'
make[3]: *** No rule to make target 'terminal-enum-types.c', needed by 'xfce4_terminal-terminal-enum-types.o'.  Stop.

Well, will be up soon enough, I can wait a bit more.
Comment 8 Egmont Koblinger 2017-02-09 21:24:10 CET
(In reply to xyzdragon from comment #7)

> make[3]: Entering directory '/media/d/Downloads/xfce4-terminal/terminal'
> make[3]: *** No rule to make target 'terminal-enum-types.c', needed by
> 'xfce4_terminal-terminal-enum-types.o'.  Stop.

Current git master compiles fine for me. I guess you perhaps need to re-run ./autogen.sh followed by a make clean; make?
Comment 9 xyzdr4gon333 2017-02-09 21:45:38 CET
Created attachment 6990 
slim tabs test

You were right. Everything works now :)
Comment 10 Igor editbugs 2017-02-10 09:10:00 CET
(In reply to xyzdragon from comment #9)
> Created attachment 6990 
> slim tabs test
> 
> You were right. Everything works now :)

Do you like it better now?

Thanks for the screenshot, btw, - it revealed an interesting issue with too big left margin of the tab text; it seems to only appear when there's dynamically-set title.
Comment 11 xyzdr4gon333 2017-02-10 12:18:53 CET
Yep, I like this better. I didn't even notice the left margin, but you are right. It doesn't seem to be everywhere, it seems like the left margin becomes smaller if the text is longer, that's why I didn't notice it. It's only that wide for "/tmp"

What I noticed is the margin between the tabs and the windows, because the right side of the right tab is on top of the center of the scrollbar, which looks a bit weird too me.
Comment 12 Igor editbugs 2017-02-13 12:29:48 CET
I've fixed the left margin issue.

Bug #12440

Reported by:
xyzdr4gon333
Reported on: 2016-02-09
Last modified on: 2017-02-13

People

CC List:
2 users

Version

Attachments

Quick comparison tab style GTK2 vs. GTK3 (55.98 KB, image/png)
2017-02-09 20:44 CET , xyzdr4gon333
no flags
slim tabs test (13.93 KB, image/png)
2017-02-09 21:45 CET , xyzdr4gon333
no flags

Additional information