From e88241e81629d2ac19d5fee7a150b13de871e47f Mon Sep 17 00:00:00 2001 From: Ferdinand Schober Date: Tue, 17 Oct 2023 15:12:17 +0200 Subject: [PATCH] port changing functionality (#34) * port changing functionality * add portchange to cli frontend --- resources/style-dark.css | 8 ++ resources/style.css | 8 ++ resources/window.ui | 217 +++++++++++++++++++-------------- src/event/server.rs | 27 +++- src/frontend.rs | 8 +- src/frontend/cli.rs | 32 +++-- src/frontend/gtk.rs | 7 ++ src/frontend/gtk/window.rs | 20 ++- src/frontend/gtk/window/imp.rs | 57 +++++++-- 9 files changed, 263 insertions(+), 121 deletions(-) diff --git a/resources/style-dark.css b/resources/style-dark.css index df5c5c3..e147077 100644 --- a/resources/style-dark.css +++ b/resources/style-dark.css @@ -1,3 +1,11 @@ #delete-button { color: @red_1; } + +#port-edit-cancel { + color: @red_1; +} + +#port-edit-apply { + color: @green_1; +} diff --git a/resources/style.css b/resources/style.css index 0d2d462..a21d63b 100644 --- a/resources/style.css +++ b/resources/style.css @@ -1,3 +1,11 @@ #delete-button { color: @red_3; } + +#port-edit-cancel { + color: @red_3; +} + +#port-edit-apply { + color: @green_3; +} diff --git a/resources/window.ui b/resources/window.ui index a353459..f04be68 100644 --- a/resources/window.ui +++ b/resources/window.ui @@ -8,114 +8,143 @@ window.close -