diff options
-rw-r--r-- | Master/texmf/scripts/texlive/tlmgrgui/gui-config.pl | 18 | ||||
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui.pl | 2 |
2 files changed, 15 insertions, 5 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgrgui/gui-config.pl b/Master/texmf/scripts/texlive/tlmgrgui/gui-config.pl index f2166aca24f..e4a4062257b 100644 --- a/Master/texmf/scripts/texlive/tlmgrgui/gui-config.pl +++ b/Master/texmf/scripts/texlive/tlmgrgui/gui-config.pl @@ -92,18 +92,26 @@ if (!win32()) { } if (win32()) { - for my $key (qw/desktop_integration w32_multi_user/) { + push @config_set_l, + $back_config_set->Label(-text => ___("desktop_integration"), -anchor => "w"); + push @config_set_m, + $back_config_set->Label(-textvariable => \$defaults{"desktop_integration"}); + push @config_set_r, + $back_config_set->Button(-text => ___"toggle", + -command => sub { toggle_setting("desktop_integration"); }); + + if (admin()) { push @config_set_l, - $back_config_set->Label(-text => ___($key), -anchor => "w"); + $back_config_set->Label(-text => ___"w32_multi_user", -anchor => "w"); push @config_set_m, - $back_config_set->Label(-textvariable => \$defaults{$key}); + $back_config_set->Label(-textvariable => \$defaults{"w32_multi_user"}); push @config_set_r, $back_config_set->Button(-text => ___"toggle", - -command => sub { toggle_setting($key); }); + -command => sub { toggle_setting("w32_multi_user"); }); } push @config_set_l, - $back_config_set->Label(-text => ___"file_assocs", -anchor => "w"); + $back_config_set->Label(-text => ___"fileassocs", -anchor => "w"); push @config_set_m, $back_config_set->Label(-textvariable => \$defaults{'file_assocs'}); push @config_set_r, diff --git a/Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui.pl b/Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui.pl index 7cd95bf99c6..cc031b1c224 100755 --- a/Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui.pl +++ b/Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui.pl @@ -121,6 +121,8 @@ $TRANS{'en'} = { fa_dontchange => "Don't change any file association", fa_onlynew => "Create only new file associations", fa_all => 'Create all file associatons', + w32_multi_user => 'Install for all users', + desktop_integration => 'Create shortcuts in menu and on desktop', }; |