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 | |
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')
-rw-r--r-- | Master/texmf/xdvi/XDvi | 24 | ||||
-rw-r--r-- | Master/texmf/xdvi/pixmap/toolbar.xpm (renamed from Master/texmf/xdvi/pixmaps/toolbar.xpm) | 2 | ||||
-rw-r--r-- | Master/texmf/xdvi/pixmap/toolbar2.xpm (renamed from Master/texmf/xdvi/pixmaps/toolbar2.xpm) | 2 |
3 files changed, 14 insertions, 14 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 diff --git a/Master/texmf/xdvi/pixmaps/toolbar.xpm b/Master/texmf/xdvi/pixmap/toolbar.xpm index e752fef011e..a9dd124e668 100644 --- a/Master/texmf/xdvi/pixmaps/toolbar.xpm +++ b/Master/texmf/xdvi/pixmap/toolbar.xpm @@ -1,5 +1,5 @@ /* XPM */ -static char * toolbar_xpm[] = { +static const char * toolbar_xpm[] = { /* width height colors colordepth */ " 378 18 16 1 0 0", " s none c None", diff --git a/Master/texmf/xdvi/pixmaps/toolbar2.xpm b/Master/texmf/xdvi/pixmap/toolbar2.xpm index edacd450833..0245a01dac1 100644 --- a/Master/texmf/xdvi/pixmaps/toolbar2.xpm +++ b/Master/texmf/xdvi/pixmap/toolbar2.xpm @@ -1,5 +1,5 @@ /* XPM */ -static char * tools2_xpm[] = { +static const char * tools2_xpm[] = { /* width height colors colordepth */ " 378 18 15 1 0 0", " m none c None", |