diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgrgui.pl | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgrgui.pl b/Master/texmf-dist/scripts/texlive/tlmgrgui.pl index bad08f0f6a2..4d9a626fec5 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgrgui.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgrgui.pl @@ -242,7 +242,20 @@ sub guimain { ############## GUI ######################## sub build_initial_gui { - Tk::CmdLine::SetArguments(@::SAVEDARGV); + # processed @::SAVEDARGV to replace + # --font='foobar' + # with + # --font 'foobar' + # as required by Tk::CmdLine. + my @a; + for my $c (@::SAVEDARGV) { + if ($c =~ m/^--?(font|background|class|display|screen|foreground|geometry|name|title|xrm)=(.*)$/) { + push @a, "--$1", $2; + } else { + push @a, $c; + } + } + Tk::CmdLine::SetArguments(@a); $mw = MainWindow->new; $mw->title("TeX Live Manager $TeXLive::TLConfig::ReleaseYear"); $mw->withdraw; |