mirror of
https://github.com/aclist/dztui.git
synced 2026-11-02 16:12:11 +01:00
chore: clear typehinting errors
This commit is contained in:
1 parent
2f6a78fc65
commit
b86cac3709
3 files changed
+4
-8
No files matched your search
@@ -84,4 +84,4 @@ class RightPanel(Gtk.Box):
|
||||
version = self.version_label.get_text()
|
||||
self.version_label.set_text("Copied!")
|
||||
copy_clipboard(version)
|
||||
GLib.timeout_add_seconds(0.5, revert)
|
||||
GLib.timeout_add_seconds(1, revert)
|
||||
Reference in new issue
Block a user