config.ts 863 B

123456789101112131415161718192021222324
  1. export const flexRowTitleStyle = 'width:10em; margin: auto; color:black;';
  2. export const basicSelectorWidthStyle = '6.5em';
  3. export const inputWithUnitsHistoryLength = 5;
  4. export const inputWithUnitsTooltipDigits = 2;
  5. export const inputWithUnitsInlineDigits = 1;
  6. export const inputWithUnitsTitleWidthStyle = '4em';
  7. export const inputWithUnitsBodyWidthStyle = '10em';
  8. export const inputWithUnitsUnitsWidthStyle = '3em';
  9. function getInt(val: string) {
  10. return parseInt(val.slice(0, -2));
  11. }
  12. export const basicWidthStyle =
  13. (
  14. getInt(inputWithUnitsBodyWidthStyle) +
  15. getInt(inputWithUnitsTitleWidthStyle) +
  16. getInt(inputWithUnitsUnitsWidthStyle) +
  17. 0.71
  18. ) // To get the same width in GUI as all three parts above joined in inputWithUnits component
  19. .toString() + 'em';
  20. export const maxNumberOfModesToPlot = 10;
  21. export const maxNumberOfLayers = 10;