mirror of
https://github.com/MarioSpore/Grinch-AP.git
synced 2025-10-21 20:21:32 -06:00
Clients: fix incorrect log entry height, by overriding correct height every 30 milliseconds
This commit is contained in:
7
kvui.py
7
kvui.py
@@ -290,6 +290,7 @@ class GameManager(App):
|
|||||||
return self.container
|
return self.container
|
||||||
|
|
||||||
def update_texts(self, dt):
|
def update_texts(self, dt):
|
||||||
|
self.tabs.content.children[0].fix_heights() # TODO: remove this when Kivy fixes this upstream
|
||||||
if self.ctx.server:
|
if self.ctx.server:
|
||||||
self.title = self.base_title + " " + Utils.__version__ + \
|
self.title = self.base_title + " " + Utils.__version__ + \
|
||||||
f" | Connected to: {self.ctx.server_address} " \
|
f" | Connected to: {self.ctx.server_address} " \
|
||||||
@@ -401,6 +402,12 @@ class UILog(RecycleView):
|
|||||||
def on_message_markup(self, text):
|
def on_message_markup(self, text):
|
||||||
self.data.append({"text": text})
|
self.data.append({"text": text})
|
||||||
|
|
||||||
|
def fix_heights(self):
|
||||||
|
"""Workaround fix for divergent texture and layout heights"""
|
||||||
|
for element in self.children[0].children:
|
||||||
|
if element.height != element.texture_size[1]:
|
||||||
|
element.height = element.texture_size[1]
|
||||||
|
|
||||||
|
|
||||||
class E(ExceptionHandler):
|
class E(ExceptionHandler):
|
||||||
logger = logging.getLogger("Client")
|
logger = logging.getLogger("Client")
|
||||||
|
Reference in New Issue
Block a user