1j01/textual-paint
1
1
Fork 0
mirror of https://github.com/1j01/textual-paint.git synced 2024-12-22 22:31:43 +03:00
Code Issues Packages Projects Releases Wiki Activity

Consolidate timers when scrolling to and selecting a node

Browse Source
This commit is contained in:
Isaiah Odhner 2023-06-27 12:58:06 -04:00
parent 738384d7c8
commit e1111a24c6
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/textual_paint/enhanced_directory_tree.py
View File

@ -12,12 +12,12 @@ class EnhancedDirectoryTree(DirectoryTree):
def _go_to_node(self, node: TreeNode[DirEntry]) -> None:
"""Scroll to the node, and select it."""
self.set_timer(0.01, lambda: self.select_node(node))
def scroll_node_to_top():
def _go_to_node_now():
self.select_node(node)
region = self._get_label_region(node._line) # type: ignore
assert region, "Node not found in tree"
self.scroll_to_region(region, animate=False, top=True)
self.set_timer(0.01, scroll_node_to_top)
self.set_timer(0.01, _go_to_node_now)
def _expand_matching_child(self, node: TreeNode[DirEntry], remaining_parts: tuple[str]) -> None:
"""Hooks into DirectoryTree's add method, and expands the child node matching the next path part, recursively.