tworu/dzgui
1
0
Fork 0
mirror of https://github.com/aclist/dztui.git synced 2026-08-29 19:27:13 +02:00
Code Issues Actions 3 Packages Projects Releases Wiki Activity

fix: patch changes from testing

Browse Source
This commit is contained in:
aclist 2026-01-15 03:08:00 +09:00
parent c45d9fb234
commit e3155ad7ee
1 changed files with 2 additions and 32 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
helpers/ui.py
View File

@ -1343,6 +1343,7 @@ class ScrollableTree(Gtk.ScrolledWindow):
self.treeview = TreeView() self.treeview = TreeView()
self.add(self.treeview) self.add(self.treeview)
class RightPanel(Gtk.Box): class RightPanel(Gtk.Box):
def __init__(self): def __init__(self):
super().__init__(spacing=6, orientation=Gtk.Orientation.VERTICAL) super().__init__(spacing=6, orientation=Gtk.Orientation.VERTICAL)
@ -2744,8 +2745,7 @@ class TreeView(Gtk.TreeView):
if column_title == "Map": if column_title == "Map":
column.set_fixed_width(300) column.set_fixed_width(300)
if i != 10: self.append_column(column)
self.append_column(column)
@update_window_labels @update_window_labels
def _update_multi_column(self, mode: RowType, port: int = 27016) -> None: def _update_multi_column(self, mode: RowType, port: int = 27016) -> None:
@ -4657,7 +4657,6 @@ class App(Gtk.Application):
self.win = OuterWindow() self.win = OuterWindow()
self.win.set_icon_name("{app_name_lower}") self.win.set_icon_name("{app_name_lower}")
accel = Gtk.AccelGroup() accel = Gtk.AccelGroup()
accel.connect( accel.connect(
Gdk.KEY_q, Gdk.KEY_q,
@ -4685,35 +4684,6 @@ class App(Gtk.Application):
self.win.halt_proc_and_quit() self.win.halt_proc_and_quit()
def save_res_and_quit(window):
if window.props.is_maximized:
Gtk.main_quit()
return
rect = window.get_size()
def write_json(rect):
data = {"res": { "width": rect.width, "height": rect.height } }
j = json.dumps(data, indent=2)
with open(res_path, "w") as outfile:
outfile.write(j)
logger.info("Wrote initial window size to '%s'" %(res_path))
if os.path.isfile(res_path):
with open(res_path, "r") as infile:
try:
data = json.load(infile)
data["res"]["width"] = rect.width
data["res"]["height"] = rect.height
with open(res_path, "w") as outfile:
outfile.write(json.dumps(data, indent=2))
except json.decoder.JSONDecodeError:
logger.critical("JSON decode error in '%s'" %(res_path))
write_json(rect)
else:
write_json(rect)
Gtk.main_quit()
class ModSelectionPanel(Gtk.Box): class ModSelectionPanel(Gtk.Box):
def __init__(self): def __init__(self):
super().__init__(spacing=6) super().__init__(spacing=6)