hotfix: add fudge factor

This commit is contained in:
Taranto 2020-02-11 21:06:30 +00:00 committed by Josh Harvey
parent bf341476bb
commit fa69d2a030
18 changed files with 650 additions and 249 deletions

View file

@ -37383,7 +37383,11 @@ var _user$project$NavBar$determineConfigCategory = function (configCode) {
_1: {
ctor: '::',
_0: 'operatorInfo',
_1: {ctor: '[]'}
_1: {
ctor: '::',
_0: 'fudgeFactor',
_1: {ctor: '[]'}
}
}
}
}
@ -37836,7 +37840,11 @@ var _user$project$NavBar$view = F2(
_1: {
ctor: '::',
_0: A2(configLink, 'operatorInfo', 'Operator Info'),
_1: {ctor: '[]'}
_1: {
ctor: '::',
_0: A2(configLink, 'fudgeFactor', 'Fudge Factor'),
_1: {ctor: '[]'}
}
}
}
}