waveterm/backup
0
0
Fork 0
mirror of https://github.com/wavetermdev/backup.git synced 2026-08-05 13:57:07 -07:00
Code Issues Packages Projects Releases Wiki Activity

dont scroll main view when selecting line in sidebar

Browse Source
This commit is contained in:
sawka
2023-12-18 14:11:04 -08:00
parent a639d72e30
commit 80f7162691
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/app/line/linesview.tsx
+6
View File
@@ -28,6 +28,8 @@ type ScreenInterface = {
setAnchorFields(anchorLine: number, anchorOffset: number, reason: string): void; setAnchorFields(anchorLine: number, anchorOffset: number, reason: string): void;
getSelectedLine(): number; getSelectedLine(): number;
getAnchor(): { anchorLine: number; anchorOffset: number }; getAnchor(): { anchorLine: number; anchorOffset: number };
isLineIdInSidebar(lineId: string): boolean;
getLineByNum(lineNum: number): T.LineType;
}; };
// <Line key={line.lineid} line={line} screen={screen} width={width} visible={this.visibleMap.get(lineNumStr)} staticRender={this.staticRender.get()} onHeightChange={this.onHeightChange} overrideCollapsed={this.collapsedMap.get(lineNumStr)} topBorder={topBorder} renderMode={renderMode}/>; // <Line key={line.lineid} line={line} screen={screen} width={width} visible={this.visibleMap.get(lineNumStr)} staticRender={this.staticRender.get()} onHeightChange={this.onHeightChange} overrideCollapsed={this.collapsedMap.get(lineNumStr)} topBorder={topBorder} renderMode={renderMode}/>;
@@ -298,6 +300,10 @@ class LinesView extends React.Component<
if (newLine == 0) { if (newLine == 0) {
return; return;
} }
let line = screen.getLineByNum(newLine);
if (line == null || screen.isLineIdInSidebar(line.lineid)) {
return;
}
let lidx = this.findClosestLineIndex(newLine); let lidx = this.findClosestLineIndex(newLine);
this.setLineVisible(newLine, true); this.setLineVisible(newLine, true);
// console.log("update selected line", this.lastSelectedLine, "=>", newLine, sprintf("anchor=%d:%d", screen.anchorLine, screen.anchorOffset)); // console.log("update selected line", this.lastSelectedLine, "=>", newLine, sprintf("anchor=%d:%d", screen.anchorLine, screen.anchorOffset));