summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-08-13 16:49:29 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-08-13 16:49:29 +0000
commitee622274682bcd7911d747d8e7c8922e00d63a84 (patch)
treecae1e359ce8cda2d6f17e8b4dd25b89bd6638c0c
parentdfddf95ae632c971c3dbe24e98afab93f159ce5b (diff)
improving texts for the search thing
git-svn-id: svn://tug.org/texlive/trunk@10308 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/texmf/scripts/tetex/texdoctk.pl6
1 files changed, 4 insertions, 2 deletions
diff --git a/Master/texmf/scripts/tetex/texdoctk.pl b/Master/texmf/scripts/tetex/texdoctk.pl
index 08c527e521d..e1c9658f79c 100755
--- a/Master/texmf/scripts/tetex/texdoctk.pl
+++ b/Master/texmf/scripts/tetex/texdoctk.pl
@@ -191,7 +191,8 @@ my $deffont=$Qbut->cget(-font);
# ensure readability on high-res screens (suggested by R.Kotucha)
$deffont='Helvetica -16 bold' if &x_resolution > 1200;
$Qbut->configure(-font=>$deffont);
-$tlwins{'mainwindow'}{'buttons'}[1]=$cmdframe->Button(-text=>'Search',
+$tlwins{'mainwindow'}{'buttons'}[1]=$cmdframe->Button(
+ -text=>'Search texdoctk\'s database',
-font=>$deffont,%butcol,
-command=>\&mksrch
)->pack(-side=>'left');
@@ -809,7 +810,8 @@ sub srchstr {
destroy $srchentry;
$srchflag=0;
if (scalar @results == 0) {
- &popmsg(0,"Search for $string: no matches found.",$cmdframe);
+ &popmsg(0,"Search for $string: no matches found.\n".
+ "Try `texdoc $string' in a command line.",$cmdframe);
} else {
# cancel multiple entries
my ($omit,$pack1,$pack2);