Michael Drake
|
948207472a
|
Layout: Tidy condition so it can be read.
|
2018-06-29 14:58:32 +01:00 |
|
Michael Drake
|
8a931f01b9
|
Plotters: Expose array of font family strings to front ends.
|
2018-05-23 14:02:53 +01:00 |
|
Michael Drake
|
66493421e6
|
Plotters: Change stroke width in the plot_style_t to fixed point.
|
2018-05-23 13:04:19 +01:00 |
|
Michael Drake
|
a58d97a41a
|
Plotters: Add plot_style_fixed type, and use for font size.
|
2018-05-23 11:48:35 +01:00 |
|
Vincent Sanders
|
216fb88f58
|
clean up html content handler header use
Improve header use in preperation for making browser window a corewindow
|
2018-05-11 13:18:54 +01:00 |
|
Vincent Sanders
|
2a03ea3049
|
move html and text content handlers where they belong
|
2018-05-10 13:37:02 +01:00 |
|