We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 114c7e6 commit e5d2313Copy full SHA for e5d2313
1 file changed
src/MainWindow.vala
@@ -811,13 +811,6 @@ namespace Scratch {
811
});
812
}
813
814
- // Save session information different from window state
815
- private void restore_saved_state_extra () {
816
- // Plugin panes size
817
- hp1.set_position (Scratch.saved_state.get_int ("hp1-size"));
818
- vp.set_position (Scratch.saved_state.get_int ("vp-size"));
819
- }
820
-
821
private void create_unsaved_documents_directory () {
822
var directory = File.new_for_path (app.data_home_folder_unsaved);
823
if (!directory.query_exists ()) {
0 commit comments