mirror of
https://github.com/aclist/dztui.git
synced 2026-10-31 07:02:50 +01:00
fix: clear typehinting errors
This commit is contained in:
1 parent
1e073af27a
commit
0ebc25b3b4
1 file changed
+2
-2
@@ -252,10 +252,10 @@ class ExceptionDialog(GenericDialog):
|
|||||||
self.connect("response", self._on_response)
|
self.connect("response", self._on_response)
|
||||||
|
|
||||||
def _on_page_changed(
|
def _on_page_changed(
|
||||||
self, notebook: Gtk.Notebook, child: Gtk.Widget, index: int
|
self, notebook: Gtk.Notebook, child: Gtk.Box | Gtk.ScrolledWindow, index: int
|
||||||
) -> None:
|
) -> None:
|
||||||
if child == self.error_details:
|
if child == self.error_details:
|
||||||
child.set_propagate_natural_height(True)
|
self.error_details.set_propagate_natural_height(True)
|
||||||
else:
|
else:
|
||||||
self.error_details.set_propagate_natural_height(False)
|
self.error_details.set_propagate_natural_height(False)
|
||||||
|
|
||||||
|
|||||||
Reference in new issue
Block a user