|
@@ -1,4 +1,4 @@
|
|
-from .. import json
|
|
|
|
|
|
+from .. import core, json
|
|
from ..context import context
|
|
from ..context import context
|
|
|
|
|
|
|
|
|
|
@@ -11,5 +11,7 @@ def page_title(title: str) -> None:
|
|
"""
|
|
"""
|
|
client = context.client
|
|
client = context.client
|
|
client.title = title
|
|
client.title = title
|
|
|
|
+ if core.app.native.main_window:
|
|
|
|
+ core.app.native.main_window.set_title(title)
|
|
if client.has_socket_connection:
|
|
if client.has_socket_connection:
|
|
client.run_javascript(f'document.title = {json.dumps(title)}')
|
|
client.run_javascript(f'document.title = {json.dumps(title)}')
|