From 87cf0bad0fc01c857df0c8128666d527a97a23e4 Mon Sep 17 00:00:00 2001 From: Ulf Date: Fri, 14 Jun 2013 23:15:20 +0200 Subject: [PATCH] polish! --- Preview.cs | 1 + PreviewHandler.cs | 9 +++++++-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/Preview.cs b/Preview.cs index 806af5b..911a17b 100644 --- a/Preview.cs +++ b/Preview.cs @@ -97,6 +97,7 @@ namespace PreviewToy private void render_area_Click(object sender, EventArgs e) { bring_client_to_foreground(); + spawner.preview_did_switch(); } public void set_render_area_size(Size size) diff --git a/PreviewHandler.cs b/PreviewHandler.cs index 3f4c840..58ca54d 100644 --- a/PreviewHandler.cs +++ b/PreviewHandler.cs @@ -137,7 +137,7 @@ namespace PreviewToy { try { - XElement rootElement = XElement.Load("config.xml"); + XElement rootElement = XElement.Load("layout.xml"); foreach (var el in rootElement.Elements()) { Dictionary inner = new Dictionary(); @@ -155,6 +155,11 @@ namespace PreviewToy } } + public void preview_did_switch() + { + store_layout(); + } + private void store_layout() { XElement el = new XElement("layouts"); @@ -180,7 +185,7 @@ namespace PreviewToy el.Add(layout); } - el.Save("config.xml"); + el.Save("layout.xml"); } private void handle_unique_layout(Preview preview, String last_known_active_window)