From 14b2e8cfd7f82289dda1c3f137b442517f5ea379 Mon Sep 17 00:00:00 2001 From: oupson Date: Sun, 9 Jul 2023 20:56:41 +0200 Subject: [PATCH] Update runtime-version and other things --- data/fr.oupson.FooTerm.appdata.xml.in | 13 +++++++------ fr.oupson.FooTerm.json | 4 ++-- src/terminalpane.vala | 8 ++++++++ 3 files changed, 17 insertions(+), 8 deletions(-) diff --git a/data/fr.oupson.FooTerm.appdata.xml.in b/data/fr.oupson.FooTerm.appdata.xml.in index b7beca3..5fb9825 100644 --- a/data/fr.oupson.FooTerm.appdata.xml.in +++ b/data/fr.oupson.FooTerm.appdata.xml.in @@ -1,9 +1,10 @@ - fr.oupson.FooTerm.desktop - CC0-1.0 - GPL-3.0-or-later - -

No description

-
+ fr.oupson.FooTerm.desktop + CC0-1.0 + GPL-3.0-or-later + https://github.com/oupson/FooTerm + +

No description

+
diff --git a/fr.oupson.FooTerm.json b/fr.oupson.FooTerm.json index 8103744..8d37814 100644 --- a/fr.oupson.FooTerm.json +++ b/fr.oupson.FooTerm.json @@ -1,7 +1,7 @@ { "app-id" : "fr.oupson.FooTerm", "runtime" : "org.gnome.Platform", - "runtime-version" : "43", + "runtime-version" : "44", "sdk" : "org.gnome.Sdk", "sdk-extensions" : [ "org.freedesktop.Sdk.Extension.vala" @@ -35,7 +35,7 @@ { "name": "vte", "buildsystem": "meson", - "config-opts": ["-Dgtk4=true", "-Dgtk3=false", "-Dsixel=true"], + "config-opts": ["-Dgtk4=true", "-Dgtk3=false", "-Dsixel=true", "--buildtype=debug"], "sources": [ { "type": "archive", diff --git a/src/terminalpane.vala b/src/terminalpane.vala index c5f0e17..eabf01e 100644 --- a/src/terminalpane.vala +++ b/src/terminalpane.vala @@ -29,6 +29,7 @@ namespace Footerm { private SocketConnection? socket = null; private IOChannel? slave_channel = null; private SocketSource? socket_source = null; + private Source? slave_source = null; private Cancellable cancel = new Cancellable(); @@ -43,6 +44,10 @@ namespace Footerm { this.configure_terminal(); } + ~TerminalPane() { + debug("finally"); + } + public void connect_to_server_async(Footerm.Model.Server server) { this.server = server; @@ -58,6 +63,9 @@ namespace Footerm { public async void disconnect_from_server() { debug("Disconnecting ..."); if (this.session != null) { + this.slave_source.destroy(); + this.slave_source = null; + this.socket_source.destroy(); this.socket_source = null;