mirror
/
mongo
mirror of https://github.com/mongodb/mongo
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

SERVER-111671 Ignore rows without files in browser.py (#42910) 

GitOrigin-RevId: 19e4a59438b0b4f6f27e2fdad7d56469b6302a71
This commit is contained in:
Mathias Stearn 2025-10-23 18:25:59 +02:00 committed by MongoDB Bot
parent 45cc6f63fb
commit 53c302f840
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
modules_poc/browse.py
View File

@ -534,7 +534,8 @@ class FilesTree(Tree):
def seek(file): def seek(file):
for row in tree.root.children: for row in tree.root.children:
if row.data.name == file.name: # rows separating marked and unmarked files have None in row.data
if type(row.data) == File and row.data.name == file.name:
tree.center_scroll = True tree.center_scroll = True
row.expand() row.expand()
tree.move_cursor(row, animate=True) tree.move_cursor(row, animate=True)