mirror of https://github.com/oupson/FooTerm.git
Update runtime-version and other things
This commit is contained in:
parent
42e49c5a22
commit
14b2e8cfd7
|
@ -1,9 +1,10 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<component type="desktop">
|
||||
<id>fr.oupson.FooTerm.desktop</id>
|
||||
<metadata_license>CC0-1.0</metadata_license>
|
||||
<project_license>GPL-3.0-or-later</project_license>
|
||||
<description>
|
||||
<p>No description</p>
|
||||
</description>
|
||||
<id>fr.oupson.FooTerm.desktop</id>
|
||||
<metadata_license>CC0-1.0</metadata_license>
|
||||
<project_license>GPL-3.0-or-later</project_license>
|
||||
<url type="homepage">https://github.com/oupson/FooTerm</url>
|
||||
<description>
|
||||
<p>No description</p>
|
||||
</description>
|
||||
</component>
|
||||
|
|
|
@ -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",
|
||||
|
|
|
@ -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;
|
||||
|
||||
|
|
Loading…
Reference in New Issue