summaryrefslogtreecommitdiff
path: root/Master/texmf/scripts
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2012-10-30 23:40:58 +0000
committerNorbert Preining <preining@logic.at>2012-10-30 23:40:58 +0000
commit0e321e4197e3036dd2fa0283c2d7c847f0fc5b00 (patch)
tree45334e67ea99e8de0f1f7be21b3bf9dd7ba56231 /Master/texmf/scripts
parent891b5e0e342aec09aeffae1904f412f6e00bc5c1 (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/NEWS2
-rw-r--r--Master/texmf/scripts/texlive/tlmgrgui.pl2
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,