Miko/tar1090
0
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

config.js: labelFont option wasn't working, replace it

Browse Source 
labelStyle
labelFamily
labelScale

are now settable in config.js
This commit is contained in:
Matthias Wirth
2025-07-22 11:16:35 +00:00
parent 6e6f99fdb4
commit 3bc8daedcd
3 changed files with 22 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
html/script.js
View File

@@ -97,10 +97,6 @@ let traceDate = null;
let traceDateString = null;
let traceOpts = {};
let icaoParam = null;
let globalScale = 1;
let userScale = 1;
let iconScale = 1;
let labelScale = 1;
let newWidth = lineWidth;
let SiteOverride = (SiteLat != null && SiteLon != null);
let onJumpInput = null;
@@ -5643,7 +5639,7 @@ function setGlobalScale(scale, init) {
globalScale = scale;
document.documentElement.style.setProperty("--SCALE", globalScale);
labelFont = "bold " + (12 * globalScale * labelScale) + "px/" + (14 * globalScale * labelScale) + "px Tahoma, Verdana, Helvetica, sans-serif";
labelFont = `${labelStyle} ${(12 * globalScale * labelScale)}px/${(14 * globalScale * labelScale)}px ${labelFamily}`;
checkScale();
setLineWidth();