diff options
Diffstat (limited to 'Perl')
-rw-r--r-- | Perl/demos/Tk/demos/zinc_lib/MagicLens.pl | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Perl/demos/Tk/demos/zinc_lib/MagicLens.pl b/Perl/demos/Tk/demos/zinc_lib/MagicLens.pl index 92df171..4a5d1ff 100644 --- a/Perl/demos/Tk/demos/zinc_lib/MagicLens.pl +++ b/Perl/demos/Tk/demos/zinc_lib/MagicLens.pl @@ -21,8 +21,8 @@ use Getopt::Long; use strict 'vars'; # the original fonts are not available everywhere, even if they are free! -my $font_9b = '8x16'; # '-cenapii-bleriot mini-bold-r-normal--9-90-75-75-p-*-iso8859-15'; -my $font_8 = '7x17'; #'-cenapii-bleriot mini-book-r-normal--8-80-75-75-p-*-iso8859-15'; +my $font_9b = '7x13bold'; # '-cenapii-bleriot mini-bold-r-normal--9-90-75-75-p-*-iso8859-15'; +my $font_8 = '7x13'; #'-cenapii-bleriot mini-book-r-normal--8-80-75-75-p-*-iso8859-15'; my ($dx, $dy); my @basiccolors = (['Jaune','#fff52a','#f1f1f1','#6a6611'], @@ -38,8 +38,8 @@ my @basiccolors = (['Jaune','#fff52a','#f1f1f1','#6a6611'], ['Vert','#0fa706','#979797','#096604'], ["Jaune\nVert",'#9dd625','#c9c9c9','#496311']); -my $circle_coords = [[0,-30],[-16.569,-30,c],[-30,-16.569,c],[-30,0],[-30,0],[-30,16.569,c],[-16.569,30,c],[0,30], - [0,30],[16.569,30,c],[30,16.569,c],[30,0],[30,0],[30,-16.569,c],[16.569,-30,c],[0,-30]]; +my $circle_coords = [[0,-30],[-16.569,-30,c],[-30,-16.569,c],[-30,0],[-30,16.569,c],[-16.569,30,c],[0,30], + [16.569,30,c],[30,16.569,c],[30,0],[30,-16.569,c],[16.569,-30,c],[0,-30]]; # MagicLens @@ -69,7 +69,7 @@ my %lensitems = ('back' => {-itemtype => 'arc', -params => {-priority => 50, }, }, - 'bord' => {-itemtype => 'hippodrome', #'arc', + 'bord' => {-itemtype => 'hippodrome', -coords => [[-100, -100],[100, 100]], -params => {-priority => 100, -closed => 1, @@ -107,7 +107,7 @@ my $normview = $zinc->add('group', 1, -priority => 100); my $lensview = $zinc->add('group', 1, -priority => 200); my $infoview = $zinc->add('group', $lensview); -my $zoom=1.30; +my $zoom=1.20; $zinc->scale($infoview, $zoom, $zoom); my $lenstexture = &getTexture($zinc, 'paper-grey.gif'); |