From f9009facaf4ea72abf28c77b9c5b2f979dd9e7fe Mon Sep 17 00:00:00 2001 From: Jeremy Wootten Date: Wed, 26 Mar 2025 17:12:00 +0000 Subject: [PATCH] Lose unused function --- src/MainWindow.vala | 7 ------- 1 file changed, 7 deletions(-) diff --git a/src/MainWindow.vala b/src/MainWindow.vala index 79cb340450..95f15c8195 100644 --- a/src/MainWindow.vala +++ b/src/MainWindow.vala @@ -811,13 +811,6 @@ namespace Scratch { }); } - // Save session information different from window state - private void restore_saved_state_extra () { - // Plugin panes size - hp1.set_position (Scratch.saved_state.get_int ("hp1-size")); - vp.set_position (Scratch.saved_state.get_int ("vp-size")); - } - private void create_unsaved_documents_directory () { var directory = File.new_for_path (app.data_home_folder_unsaved); if (!directory.query_exists ()) {