/usr/share/graphviz/lefty/slides.lefty is in graphviz 2.36.0-0ubuntu3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 | load ('def.lefty');
definit ();
#
# initialize window data
#
canvas = defcanvas;
wrect = [0 = ['x' = 0; 'y' = 0;]; 1 = ['x' = 800; 'y' = 1000;];];
lmargin = 100;
width = 800;
height = 1000;
setwidgetattr (canvas, ['window' = wrect;]);
fonts = [
'timr' = [
14 = 'timr14';
18 = 'timr18';
24 = 'timr24';
];
'courr' = [
14 = 'courr14';
18 = 'courr18';
24 = 'courr24';
];
];
x2ps = [
'timr24' = 'Times-Roman';
'timr18' = 'Times-Roman';
'timr14' = 'Times-Roman';
'courr24' = 'Courier';
'courr18' = 'Courier';
'courr14' = 'Courier';
];
calc = function () {
local i, j, cpos, tsiz, dist, slidep;
tsiz = ['x' = 0; 'y' = 0;];
for (i = 0; slides[i]; i = i + 1) {
slidep = slides[i];
if (slidep.skip) {
tsiz.y = tsiz.y + slidep.skip;
} else {
for (j = 0; slidep.text[j]; j = j + 1) {
if (j > 0)
tsiz.y = tsiz.y + 5;
if (~slidep.font)
slidep.font = slides.font;
if (~slidep.size)
slidep.size = slides.size;
if (~slidep.just)
slidep.just = slides.just;
slidep.tsiz[j] = textsize (canvas, slidep.text[j],
fonts[slidep.font][slidep.size], 0);
tsiz.y = tsiz.y + slidep.tsiz[j].y;
}
}
}
dist = (height - tsiz.y) / (i + 1);
cpos = ['x' = lmargin; 'y' = height - dist;];
for (i = 0; slides[i]; i = i + 1) {
slidep = slides[i];
if (slidep.skip) {
cpos.y = cpos.y - slidep.skip - dist;
} else {
for (j = 0; slidep.text[j]; j = j + 1) {
if (j > 0)
cpos.y = cpos.y - 5;
if (slidep.just == 0)
slidep.tpos[j].x = cpos.x;
else
slidep.tpos[j].x = width / 2;
cpos.y = cpos.y - slidep.tsiz[j].y;
slidep.tpos[j].y = cpos.y;
}
cpos.y = cpos.y - dist;
}
}
};
redraw = function () {
local i, j, slidep;
for (i = 0; slides[i]; i = i + 1) {
slidep = slides[i];
if (~slidep.skip)
for (j = 0; slidep.text[j]; j = j + 1)
text (canvas, slidep, slidep.tpos[j], slidep.text[j],
fonts[slidep.font][slidep.size], 0, slidep.just);
}
};
dops = function () {
local i, j, slidep, r;
r = [0 = ['x' = 0; 'y' = 0;]; 1 = ['x' = 8 * 300; 'y' = 10.5 * 300;];];
canvas = createwidget (-1, ['type' = 'ps'; 'origin' = r[0]; 'size' = r[1]
;]);
setwidgetattr (canvas, ['window' = wrect;]);
for (i = 0; slides[i]; i = i + 1) {
slidep = slides[i];
if (~slidep.skip)
for (j = 0; slidep.text[j]; j = j + 1)
text (canvas, slidep, slidep.tpos[j], slidep.text[j],
x2ps[fonts[slidep.font][slidep.size]],
slidep.tsiz[j].y, slidep.just, 1);
}
destroywidget (canvas);
canvas=defcanvas;
};
doit = function () {
calc ();
redraw ();
dops ();
};
|