Merge branch 'streamline-file-explorer'
This commit is contained in:
@@ -331,6 +331,7 @@ export function FileExplorerPane({ serverId, agentId }: FileExplorerPaneProps) {
|
|||||||
|
|
||||||
return Gesture.Pan()
|
return Gesture.Pan()
|
||||||
.enabled(!isMobile)
|
.enabled(!isMobile)
|
||||||
|
.runOnJS(true)
|
||||||
.hitSlop({ left: 12, right: 12, top: 0, bottom: 0 })
|
.hitSlop({ left: 12, right: 12, top: 0, bottom: 0 })
|
||||||
.onBegin(() => {
|
.onBegin(() => {
|
||||||
resizeStartRef.current = {
|
resizeStartRef.current = {
|
||||||
|
|||||||
@@ -173,6 +173,10 @@ export const usePanelStore = create<PanelState>()(
|
|||||||
|
|
||||||
if (typeof state.explorerFilesSplitRatio !== "number") {
|
if (typeof state.explorerFilesSplitRatio !== "number") {
|
||||||
state.explorerFilesSplitRatio = DEFAULT_EXPLORER_FILES_SPLIT_RATIO;
|
state.explorerFilesSplitRatio = DEFAULT_EXPLORER_FILES_SPLIT_RATIO;
|
||||||
|
} else {
|
||||||
|
state.explorerFilesSplitRatio = clampExplorerFilesSplitRatio(
|
||||||
|
state.explorerFilesSplitRatio
|
||||||
|
);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user