diff options
author | Karl Berry <karl@freefriends.org> | 2010-05-20 18:50:17 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-05-20 18:50:17 +0000 |
commit | 98ba23f80903bfbd0fd226936207129aa2802ea4 (patch) | |
tree | 2bfb647955bd4fd186066ca637fc04e916dceeba /Master/texmf/xdvi/XDvi | |
parent | eee092548cb1d26b13fa0f71bfad47bbc8922467 (diff) |
update from current build-install
git-svn-id: svn://tug.org/texlive/trunk@18384 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf/xdvi/XDvi')
-rw-r--r-- | Master/texmf/xdvi/XDvi | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/Master/texmf/xdvi/XDvi b/Master/texmf/xdvi/XDvi index 31b83e76a34..3e0f4984e4c 100644 --- a/Master/texmf/xdvi/XDvi +++ b/Master/texmf/xdvi/XDvi @@ -26,6 +26,15 @@ !!! This should be the best choice for modern displays with large color depth. *thorough: true +!!! Add some useful translations for the mouse wheel (bug #1422928) +*wheelTranslations:\ +Shift<Btn4Down>:left(.08)\n\ +Shift<Btn5Down>:right(.08)\n\ +Ctrl<Btn4Down>:set-shrink-factor(+)\n\ +Ctrl<Btn5Down>:set-shrink-factor(-)\n\ +<Btn4Down>:wheel(-.7)\n\ +<Btn5Down>:wheel(.7) + !!!------------------------------------------------------------------------------ !!!------------------------------ Motif toolbar --------------------------------- !!!------------------------------------------------------------------------------ @@ -76,18 +85,9 @@ *textColumns: 50 !!! make all text/entry fields white, for better contrasts: -*file_text.background: white -*searchbox_input.background: white -*print_text.background: white -*dvips_options_text.background: white -*from_page.background: white -*to_page.background: white -*topics_list.background: white -*help_text.background: white -*FilterText.background: white -*DirList.background: white -*ItemsList.background: white -*file.Text.background: white +*XmDialogShell*XmTextField.background: white +*XmDialogShell*XmText.background: white +*XmDialogShell*XmList.background: white !!! adjust position of header in help window *help_window*right_form.topOffset: 10 |