Skip to content

Commit 191f3d1

Browse files
author
p12
committed
Images: use DejaVu Sans font instead of DejaVu Serif
1 parent c4c3711 commit 191f3d1

22 files changed

Lines changed: 113 additions & 113 deletions

‎images/math-atan2.py‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,10 +10,10 @@
1010
import math
1111
import pprint
1212

13-
font = {'family' : 'DejaVu Serif',
13+
font = {'family' : 'DejaVu Sans',
1414
'weight' : 'normal',
1515
'size' : 18}
16-
16+
1717
plt.rc('font', **font)
1818
plt.rc('contour', **{ 'negative_linestyle' : 'solid'})
1919

‎images/math.py‎

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -102,10 +102,10 @@
102102
)
103103
)
104104

105-
font = {'family' : 'DejaVu Serif',
105+
font = {'family' : 'DejaVu Sans',
106106
'weight' : 'normal',
107107
'size' : 9}
108-
108+
109109
plt.rc('font', **font)
110110

111111
for i in xrange(len(DATA)):
@@ -127,13 +127,13 @@
127127
imax = bisect_right(data_x, x2)
128128
del data[imin:imax]
129129

130-
data.insert(imin, {'type' : 'dend', 'x': x2, 'y' : y2, 't': t2 })
130+
data.insert(imin, {'type' : 'dend', 'x': x2, 'y' : y2, 't': t2 })
131131
data.insert(imin, {'type' : 'dbeg', 'x': x1, 'y' : y1, 't': t1 })
132132

133133
# make fig
134134
fig = plt.figure(figsize=(200.0/72.0,200.0/72.0))
135135
ax = fig.add_subplot(111)
136-
136+
137137
(xmin,xmax,ymin,ymax) = lim
138138
ax.set_xlim((xmin, xmax))
139139
ax.set_ylim((ymin, ymax))
@@ -166,7 +166,7 @@ def d_in_lim(x, y):
166166
# the lines are painted in batches
167167
paint_batch = list()
168168
for j in xrange(1, len(data)):
169-
169+
170170
prev_t = data[j-1]['type']
171171
curr_t = data[j]['type']
172172
prev_x = data[j-1]['x']
@@ -197,7 +197,7 @@ def d_in_lim(x, y):
197197
# we need painting if this is the last data point
198198
if j == len(data) - 1:
199199
is_good = False
200-
200+
201201
# paint the current batch, if any
202202
if (not is_good) and len(paint_batch) > 1:
203203

@@ -206,7 +206,7 @@ def compute_dir(n):
206206
(x1,y1) = paint_batch[n]
207207
(x2,y2) = paint_batch[n+1]
208208
return (y2-y1)/(x2-x1)
209-
209+
210210
prev_dir = compute_dir(0)
211211
k = 1
212212
while k < len(paint_batch) - 1:
@@ -229,15 +229,15 @@ def compute_dir(n):
229229
curr_t = data[j]['type']
230230
curr_x = data[j]['x']
231231
curr_y = data[j]['y']
232-
232+
233233
# paint point marking discontinuous region if needed
234234
if curr_t != 'c':
235235
if not d_in_lim(curr_x, curr_y):
236236
continue
237-
237+
238238
fill = data[j]['t']
239239
l = ax.plot(curr_x, curr_y, marker='o')
240-
240+
241241
plt.setp(l, 'markersize', 7.5)
242242
plt.setp(l, 'markeredgewidth', 0.5)
243243
plt.setp(l, 'markeredgecolor', '#0000FF')
@@ -258,4 +258,4 @@ def compute_dir(n):
258258
os.system('rm ' + tmpfile)
259259

260260
plt.close()
261-
261+

‎images/std-basic_fstream-inheritance.dot‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,24 @@
11
digraph inheritance {
22
rankdir=LR
3-
3+
44
graph [dpi = 65, bgcolor=transparent];
55
node [
66
shape = box,
7-
fontname="DejaVu Serif, verdana, sans-serif", fontsize=14,
7+
fontname="DejaVu Sans, verdana, sans-serif", fontsize=14,
88
width=1.6, height=0.5,
99
style=filled, fillcolor=white
1010
];
11-
11+
1212
base [
1313
label = "ios_base",
1414
tooltip = "std::ios_base",
1515
URL="cpp/io/ios_base"
16-
];
16+
];
1717
ios [
1818
label = <basic_ios<br/><font color="#808080">&lt;CharT, Traits&gt;</font>>,
1919
tooltip = "std::basic_ios",
2020
URL="cpp/io/basic_ios"
21-
];
21+
];
2222
ist [
2323
label = <basic_istream<br/><font color="#808080">&lt;CharT, Traits&gt;</font>>,
2424
tooltip = "std::basic_istream",
@@ -39,7 +39,7 @@ digraph inheritance {
3939
tooltip = "std::basic_fstream",
4040
fillcolor=lightgrey
4141
];
42-
42+
4343
base -> ios;
4444
ios -> ist;
4545
ios -> ost;

‎images/std-basic_ifstream-inheritance.dot‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,24 @@
11
digraph inheritance {
22
rankdir=LR
3-
3+
44
graph [dpi = 65, bgcolor=transparent];
55
node [
66
shape = box,
7-
fontname="DejaVu Serif, verdana, sans-serif", fontsize=14,
7+
fontname="DejaVu Sans, verdana, sans-serif", fontsize=14,
88
width=1.6, height=0.5,
99
style=filled, fillcolor=white
1010
];
11-
11+
1212
base [
1313
label = "ios_base",
1414
tooltip = "std::ios_base",
1515
URL="cpp/io/ios_base"
16-
];
16+
];
1717
ios [
1818
label = <basic_ios<br/><font color="#808080">&lt;CharT, Traits&gt;</font>>,
1919
tooltip = "std::basic_ios",
2020
URL="cpp/io/basic_ios"
21-
];
21+
];
2222
ist [
2323
label = <basic_istream<br/><font color="#808080">&lt;CharT, Traits&gt;</font>>,
2424
tooltip = "std::istream",
@@ -28,8 +28,8 @@ digraph inheritance {
2828
label = <basic_ifstream<br/><font color="#808080">&lt;CharT, Traits&gt;</font>>,
2929
tooltip = "std::ifstream",
3030
fillcolor=lightgrey
31-
];
32-
31+
];
32+
3333
base -> ios;
3434
ios -> ist;
3535
ist -> ifst;

‎images/std-basic_ios-inheritance.dot‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,24 @@
11
digraph inheritance {
22
rankdir=LR
3-
3+
44
graph [dpi = 65, bgcolor=transparent];
55
node [
66
shape = box,
7-
fontname="DejaVu Serif, verdana, sans-serif", fontsize=14,
7+
fontname="DejaVu Sans, verdana, sans-serif", fontsize=14,
88
width=1.6, height=0.5,
99
style=filled, fillcolor=white
1010
];
11-
11+
1212
base [
1313
label = "ios_base",
1414
tooltip = "std::ios_base",
1515
URL="cpp/io/ios_base"
16-
];
16+
];
1717
ios [
1818
label = <basic_ios<br/><font color="#808080">&lt;CharT, Traits&gt;</font>>,
1919
tooltip = "std::basic_ios",
2020
fillcolor=lightgrey
21-
];
22-
21+
];
22+
2323
base -> ios;
2424
}​​

‎images/std-basic_iostream-inheritance.dot‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,24 @@
11
digraph inheritance {
22
rankdir=LR
3-
3+
44
graph [dpi = 65, bgcolor=transparent];
55
node [
66
shape = box,
7-
fontname="DejaVu Serif, verdana, sans-serif", fontsize=14,
7+
fontname="DejaVu Sans, verdana, sans-serif", fontsize=14,
88
width=1.6, height=0.5,
99
style=filled, fillcolor=white
1010
];
11-
11+
1212
base [
1313
label = "ios_base",
1414
tooltip = "std::ios_base",
1515
URL="cpp/io/ios_base"
16-
];
16+
];
1717
ios [
1818
label = <basic_ios<br/><font color="#808080">&lt;CharT, Traits&gt;</font>>,
1919
tooltip = "std::basic_ios",
2020
URL="cpp/io/basic_ios"
21-
];
21+
];
2222
ist [
2323
label = <basic_istream<br/><font color="#808080">&lt;CharT, Traits&gt;</font>>,
2424
tooltip = "std::basic_istream",
@@ -34,7 +34,7 @@ digraph inheritance {
3434
tooltip = "std::basic_iostream",
3535
fillcolor = lightgrey
3636
];
37-
37+
3838
base -> ios;
3939
ios -> ist;
4040
ios -> ost;

‎images/std-basic_istream-inheritance.dot‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,30 +1,30 @@
11
digraph inheritance {
22
rankdir=LR
3-
3+
44
graph [dpi = 65, bgcolor=transparent];
55
node [
66
shape = box,
7-
fontname="DejaVu Serif, verdana, sans-serif", fontsize=14,
7+
fontname="DejaVu Sans, verdana, sans-serif", fontsize=14,
88
width=1.6, height=0.5,
99
style=filled, fillcolor=white
1010
];
11-
11+
1212
base [
1313
label = "ios_base",
1414
tooltip = "std::ios_base",
1515
URL="cpp/io/ios_base"
16-
];
16+
];
1717
ios [
1818
label = <basic_ios<br/><font color="#808080">&lt;CharT, Traits&gt;</font>>,
1919
tooltip = "std::basic_ios",
2020
URL="cpp/io/basic_ios"
21-
];
21+
];
2222
ist [
2323
label = <basic_istream<br/><font color="#808080">&lt;CharT, Traits&gt;</font>>,
2424
tooltip = "std::basic_istream",
2525
fillcolor=lightgrey
26-
];
27-
26+
];
27+
2828
base -> ios;
2929
ios -> ist;
3030
}​​

‎images/std-basic_istringstream-inheritance.dot‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,24 @@
11
digraph inheritance {
22
rankdir=LR
3-
3+
44
graph [dpi = 65, bgcolor=transparent];
55
node [
66
shape = box,
7-
fontname="DejaVu Serif, verdana, sans-serif", fontsize=14,
7+
fontname="DejaVu Sans, verdana, sans-serif", fontsize=14,
88
width=1.6, height=0.5,
99
style=filled, fillcolor=white
1010
];
11-
11+
1212
base [
1313
label = "ios_base",
1414
tooltip = "std::ios_base",
1515
URL="cpp/io/ios_base"
16-
];
16+
];
1717
ios [
1818
label = <basic_ios<br/><font color="#808080">&lt;CharT, Traits&gt;</font>>,
1919
tooltip = "std::basic_ios",
2020
URL="cpp/io/basic_ios"
21-
];
21+
];
2222
ist [
2323
label = <basic_istream<br/><font color="#808080">&lt;CharT, Traits&gt;</font>>,
2424
tooltip = "std::basic_istream",
@@ -28,8 +28,8 @@ digraph inheritance {
2828
label = <basic_istringstream<br/><font color="#808080">&lt;CharT, Traits&gt;</font>>,
2929
tooltip = "std::istringstream",
3030
fillcolor=lightgrey
31-
];
32-
31+
];
32+
3333
base -> ios;
3434
ios -> ist;
3535
ist -> isst;

‎images/std-basic_ofstream-inheritance.dot‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,24 @@
11
digraph inheritance {
22
rankdir=LR
3-
3+
44
graph [dpi = 65, bgcolor=transparent];
55
node [
66
shape = box,
7-
fontname="DejaVu Serif, verdana, sans-serif", fontsize=14,
7+
fontname="DejaVu Sans, verdana, sans-serif", fontsize=14,
88
width=1.6, height=0.5,
99
style=filled, fillcolor=white
1010
];
11-
11+
1212
base [
1313
label = "ios_base",
1414
tooltip = "std::ios_base",
1515
URL="cpp/io/ios_base"
16-
];
16+
];
1717
ios [
1818
label = <basic_ios<br/><font color="#808080">&lt;CharT, Traits&gt;</font>>,
1919
tooltip = "std::basic_ios",
2020
URL="cpp/io/basic_ios"
21-
];
21+
];
2222
ost [
2323
label = <basic_ostream<br/><font color="#808080">&lt;CharT, Traits&gt;</font>>,
2424
tooltip = "std::basic_ostream",
@@ -28,8 +28,8 @@ digraph inheritance {
2828
label = <basic_ofstream<br/><font color="#808080">&lt;CharT, Traits&gt;</font>>,
2929
tooltip = "std::basic_ofstream",
3030
fillcolor=lightgrey
31-
];
32-
31+
];
32+
3333
base -> ios;
3434
ios -> ost;
3535
ost -> ofst;

0 commit comments

Comments
 (0)