blob: e11ebb90b826ed0b5a287461a6010bf57b7ab942 (
about) (
plain)
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
|
#include "tex.hh"
#include "symbol.hh"
#include "const.hh"
/*
#TeXstring# should generate a TeX string to typeset the object in
a hbox or vbox of exactly the objects' dimension.
*/
/// #h# is in points
String
vstrut(Real h)
{
return String("\\vrule height ") + h + "pt depth 0pt width 0pt";
}
/// the staff with five lines.
struct Fiveline_staff: Stretchable_symbol {
String operator()(Real width) {
String s("\\normalebalk{ ");
s+=width * HOR_TO_PT;
s+= "pt}";
return s;
}
};
|
