jotpluggler: fix bug with char width after scaling text (#36154)

fix bug with char width after scaling text
pull/36135/merge
Jimmy 1 day ago committed by GitHub
parent 3e0dd06374
commit 04a26ada69
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 2
      tools/jotpluggler/datatree.py

@ -67,7 +67,7 @@ class DataTree:
with self._ui_lock:
if self._char_width is None:
if size := dpg.get_text_size(" ", font=font):
self._char_width = size[0]
self._char_width = size[0] / 2 # we scale font 2x and downscale to fix hidpi bug
if self._new_data:
self._process_path_change()

Loading…
Cancel
Save