diff options
author | noone3 <[email protected]> | 2016-08-15 17:16:51 +0200 |
---|---|---|
committer | monsta <[email protected]> | 2016-09-14 14:14:52 +0300 |
commit | 8d2eb0898154f2624e2ae34039169f307a3411a5 (patch) | |
tree | 8d9d195da6f8947e66a99764405e91123693700f /src/profile-editor.h | |
parent | f30b1cd380be638948a1b82c59639b6b39a3587d (diff) | |
download | mate-terminal-8d2eb0898154f2624e2ae34039169f307a3411a5.tar.bz2 mate-terminal-8d2eb0898154f2624e2ae34039169f307a3411a5.tar.xz |
add (mouse wheel) tab scrolling
Mouse wheel scrolling was removed in gtk3.
Add functionality back via patch to mate-terminal, patch was originally against gnome-terminal (from https://git.gnome.org/browse/gnome-terminal/commit/?id=e2299ee2451167ad41b35705b4fbd577aebd0c39 )
Diffstat (limited to 'src/profile-editor.h')
0 files changed, 0 insertions, 0 deletions