Re: Strange Gnome-terminal behaviour

2016-10-07 Thread Liam O'Toole
On 2016-10-07, Mark Fletcher wrote: > On Sun, Sep 25, 2016 at 08:52:41PM +0100, Liam O'Toole wrote: >> On 2016-09-25, Mark Fletcher wrote: >> > On Sat, Sep 24, 2016 at 05:37:14PM +0100, Joe wrote: >> >> On Sat, 24 Sep 2016 23:29:00 +0900 >> >> Mark Fletcher wrote: >> >> >> >> > On Sat, Sep 24,

Re: Strange Gnome-terminal behaviour

2016-10-07 Thread Brian
On Fri 07 Oct 2016 at 21:47:37 +0900, Mark Fletcher wrote: > On Sun, Sep 25, 2016 at 08:52:41PM +0100, Liam O'Toole wrote: > > > > FWIW, you can tell xterm to use freetype fonts, e.g., > > > > xterm -fa "Monospace 12" > > > > Alternatively, use the faceName resource in your ~/.Xresources fi

Re: Strange Gnome-terminal behaviour

2016-10-07 Thread Greg Wooledge
On Fri, Oct 07, 2016 at 09:47:37PM +0900, Mark Fletcher wrote: > Also I have no .Xresources file, is that normal? wooledg@wooledg:~$ ls -a /etc/skel . .. .bash_logout .bashrc .profile Yup. Normal. But the good news is, it looks like you *can* make one and expect it to be used by the Debian

Re: Strange Gnome-terminal behaviour

2016-10-07 Thread Mark Fletcher
On Sun, Sep 25, 2016 at 08:52:41PM +0100, Liam O'Toole wrote: > On 2016-09-25, Mark Fletcher wrote: > > On Sat, Sep 24, 2016 at 05:37:14PM +0100, Joe wrote: > >> On Sat, 24 Sep 2016 23:29:00 +0900 > >> Mark Fletcher wrote: > >> > >> > On Sat, Sep 24, 2016 at 09:20:20AM -0500, Dutch Ingraham wrot

Re: Strange Gnome-terminal behaviour

2016-09-25 Thread Michael Biebl
Am 24.09.2016 um 10:02 schrieb Mark Fletcher: > Not sure where I should be looking for the source of the problem. > Keyboard is completely normal in other apps. (it is a Japanese keyboard, > in a British English language environment, in case that matters. That is > what I have been using all along)

Re: Strange Gnome-terminal behaviour

2016-09-25 Thread Liam O'Toole
On 2016-09-25, Mark Fletcher wrote: > On Sat, Sep 24, 2016 at 05:37:14PM +0100, Joe wrote: >> On Sat, 24 Sep 2016 23:29:00 +0900 >> Mark Fletcher wrote: >> >> > On Sat, Sep 24, 2016 at 09:20:20AM -0500, Dutch Ingraham wrote: >> > > On Sat, Sep 24, 2016 at 11:00:33PM +0900, Mark Fletcher wrote:

Re: Strange Gnome-terminal behaviour

2016-09-25 Thread Dutch Ingraham
On Mon, Sep 26, 2016 at 12:05:44AM +0900, Mark Fletcher wrote: > Also I just ran mutt in an X terminal instead by invoking xterm from > Gnome-Terminal, and although the font is horrible and the window is too > small, it does NOT display the same psychotic intermittent scrolling > behaviour. So t

Re: Strange Gnome-terminal behaviour

2016-09-25 Thread Mark Fletcher
On Sat, Sep 24, 2016 at 05:37:14PM +0100, Joe wrote: > On Sat, 24 Sep 2016 23:29:00 +0900 > Mark Fletcher wrote: > > > On Sat, Sep 24, 2016 at 09:20:20AM -0500, Dutch Ingraham wrote: > > > On Sat, Sep 24, 2016 at 11:00:33PM +0900, Mark Fletcher wrote: > > > > On Sat, Sep 24, 2016 at 03:28:41AM

Re: Strange Gnome-terminal behaviour

2016-09-25 Thread Mark Fletcher
On Sat, Sep 24, 2016 at 05:37:14PM +0100, Joe wrote: > On Sat, 24 Sep 2016 23:29:00 +0900 > Mark Fletcher wrote: > > > On Sat, Sep 24, 2016 at 09:20:20AM -0500, Dutch Ingraham wrote: > > > > Anything in /var/log/syslog when it happens? In sid, GTK is spraying > out GtkScrollBar errors... > I

Re: Strange Gnome-terminal behaviour

2016-09-24 Thread Joe
On Sat, 24 Sep 2016 23:29:00 +0900 Mark Fletcher wrote: > On Sat, Sep 24, 2016 at 09:20:20AM -0500, Dutch Ingraham wrote: > > On Sat, Sep 24, 2016 at 11:00:33PM +0900, Mark Fletcher wrote: > > > On Sat, Sep 24, 2016 at 03:28:41AM -0500, Dutch Ingraham wrote: > > > > > > > > Have you tried

Re: Strange Gnome-terminal behaviour

2016-09-24 Thread Mark Fletcher
On Sat, Sep 24, 2016 at 09:20:20AM -0500, Dutch Ingraham wrote: > On Sat, Sep 24, 2016 at 11:00:33PM +0900, Mark Fletcher wrote: > > On Sat, Sep 24, 2016 at 03:28:41AM -0500, Dutch Ingraham wrote: > > > > > Have you tried backing out of X to a console and observing the behaviour > there? > I ha

Re: Strange Gnome-terminal behaviour

2016-09-24 Thread Dutch Ingraham
On Sat, Sep 24, 2016 at 11:00:33PM +0900, Mark Fletcher wrote: > On Sat, Sep 24, 2016 at 03:28:41AM -0500, Dutch Ingraham wrote: > > > > I can't address the emulator's scrolling behavior in general, but in > > specific to mutt, you can add: > > > > set pager_stop = yes > > > > to your .muttrc an

Re: Strange Gnome-terminal behaviour

2016-09-24 Thread Mark Fletcher
On Sat, Sep 24, 2016 at 03:28:41AM -0500, Dutch Ingraham wrote: > > I can't address the emulator's scrolling behavior in general, but in > specific to mutt, you can add: > > set pager_stop = yes > > to your .muttrc and that will stop the automatic flip to the next > message. A nice work-a-round

Re: Strange Gnome-terminal behaviour

2016-09-24 Thread Dutch Ingraham
On Sat, Sep 24, 2016 at 05:02:36PM +0900, Mark Fletcher wrote: > Recently, Gnome terminal's scrolling behaviour has gone strange. If I am > looking at a man page, or scrolling through a long text file with less > etc, or even just scrolling back through terminal history using > Shift-PgUp and Shift

Strange Gnome-terminal behaviour

2016-09-24 Thread Mark Fletcher
Has anyone else noticed strange behaviour around scrolling in Gnome Terminal starting (fairly) recently in Jessie? I am using a long-standing Jessie install which is by no means a new install, but started life I think as etch and has been upgraded repeatedly. I use, as I assume is obvious, Gnome.