diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-11-05 19:30:57 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-05 19:30:57 +0300 |
| commit | ff805d8d0eb8e3de42f04747de0d1c7354491810 (patch) | |
| tree | c6e557895ff3172bad42da469a6912ac718078a1 /extensions-builtin/mobile/javascript | |
| parent | 44c5097375ae4cf40300c09473bb46cf6c5d6cb7 (diff) | |
| parent | c3699d4fd185d5a7285c5519f9bb4b6fec236d9f (diff) | |
Merge branch 'dev' into master
Diffstat (limited to 'extensions-builtin/mobile/javascript')
| -rw-r--r-- | extensions-builtin/mobile/javascript/mobile.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extensions-builtin/mobile/javascript/mobile.js b/extensions-builtin/mobile/javascript/mobile.js index 652f07ac..bff1aced 100644 --- a/extensions-builtin/mobile/javascript/mobile.js +++ b/extensions-builtin/mobile/javascript/mobile.js @@ -12,6 +12,8 @@ function isMobile() { } function reportWindowSize() { + if (gradioApp().querySelector('.toprow-compact-tools')) return; // not applicable for compact prompt layout + var currentlyMobile = isMobile(); if (currentlyMobile == isSetupForMobile) return; isSetupForMobile = currentlyMobile; |