fix(web): route tool-detail wheel events at scroll edges

2026-02-17 13:20:49 +07:00
parent 34e35621f0
commit 0af2d8989a
3 changed files with 145 additions and 0 deletions
@@ -393,6 +393,12 @@ const styles = StyleSheet.create((theme) => {
      fontSize: theme.fontSize.xs,
      color: theme.colors.foreground,
      lineHeight: 18,
+      ...(Platform.OS === "web"
+        ? {
+            whiteSpace: "pre",
+            overflowWrap: "normal",
+          }
+        : null),
    },
    shellPrompt: {
      color: theme.colors.foregroundMuted,