1
0
Fork 0

Change the performance monitor to use the font as specified in the style (rather than hardcoding it)

This commit is contained in:
Richard Harrison 2018-09-02 11:53:32 +02:00
parent 252bb9e7d5
commit 2e6d0725d1

View file

@ -11,7 +11,10 @@ var dialog = {
me.fg = [[0.9, 0.9, 0.2, 1], [1, 1, 1, 1]]; # alternative active
# "private"
var font = { name: "FIXED_8x13" };
var font = { name: getprop("/sim/gui/selected-style/fonts/mp-list/name") or "FIXED_8x13",
size: getprop("/sim/gui/selected-style/fonts/mp-list/size") or 20,
slant: getprop("/sim/gui/selected-style/fonts/mp-list/slant") or 0,
};
me.header = [" submodule", "cumulative/ms", "total/ms", "max/ms", "min/ms", "mean/ms", "stddev/ms", "iterations" ];
me.columns = [
{ type: "text", property: "name", format: " %s", label: "------------------", halign: "fill", font: font },