diff options
| author | Norbert Preining <preining@logic.at> | 2012-10-30 23:40:58 +0000 |
|---|---|---|
| committer | Norbert Preining <preining@logic.at> | 2012-10-30 23:40:58 +0000 |
| commit | 0e321e4197e3036dd2fa0283c2d7c847f0fc5b00 (patch) | |
| tree | 45334e67ea99e8de0f1f7be21b3bf9dd7ba56231 /Master/texmf/scripts | |
| parent | 891b5e0e342aec09aeffae1904f412f6e00bc5c1 (diff) | |
split desktop_integration into menu_integration (creates menus)
and desktop_integration (desktop shortcuts)
make menu_integration on by default and not changable
git-svn-id: svn://tug.org/texlive/trunk@28129 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf/scripts')
| -rw-r--r-- | Master/texmf/scripts/texlive/NEWS | 2 | ||||
| -rw-r--r-- | Master/texmf/scripts/texlive/tlmgrgui.pl | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texlive/NEWS b/Master/texmf/scripts/texlive/NEWS index 5500214e3b5..7a0f984105d 100644 --- a/Master/texmf/scripts/texlive/NEWS +++ b/Master/texmf/scripts/texlive/NEWS @@ -2,6 +2,8 @@ Karl Berry, 2010.) <p><b>tlmgr revision NNNN (released DDmmm12):</b><br> +<li>menu shortcuts are installed unconditionally, the desktop_integration + option only controls shortcuts on the desktop (W32) <p><b>tlmgr revision 27748 (released 25oct12):</b><br> <li>support <tt>tlmgr repository list ...</tt> for listing of any repository diff --git a/Master/texmf/scripts/texlive/tlmgrgui.pl b/Master/texmf/scripts/texlive/tlmgrgui.pl index fcc8f877e33..b6aacb96860 100644 --- a/Master/texmf/scripts/texlive/tlmgrgui.pl +++ b/Master/texmf/scripts/texlive/tlmgrgui.pl @@ -1212,7 +1212,7 @@ sub do_general_settings { if (win32()) { push @config_set_l, - $back_config_set->Label(-text => __("Create shortcuts in menu and on desktop"), -anchor => "w"); + $back_config_set->Label(-text => __("Create shortcuts on the desktop"), -anchor => "w"); $settings_label{'desktop_integration'} = $back_config_set->Label(-textvariable => \$changeddefaults{"desktop_integration"}{'display'}); push @config_set_m, $settings_label{'desktop_integration'}; push @config_set_r, |