updateScaledDimensions method

void updateScaledDimensions({
  1. required double scaledPanelWidth,
  2. required double scaledBorderWidth,
  3. required double scaledIconSize,
  4. required BorderRadius scaledBorderRadius,
  5. required double scaledPanelOpenOffset,
  6. required double scaledDockOffset,
})

更新缩放后的尺寸值(由 UI 层调用)

Implementation

void updateScaledDimensions({
  required double scaledPanelWidth,
  required double scaledBorderWidth,
  required double scaledIconSize,
  required BorderRadius scaledBorderRadius,
  required double scaledPanelOpenOffset,
  required double scaledDockOffset,
}) {
  currentPanelWidth.value = scaledPanelWidth;
  currentBorderWidth.value = scaledBorderWidth;
  currentIconSize.value = scaledIconSize;
  currentBorderRadius.value = scaledBorderRadius;
  currentPanelOpenOffset.value = scaledPanelOpenOffset;
  currentDockOffset.value = scaledDockOffset;
}