From a4660a070093353277eb44f73a8cd3866d8386fc Mon Sep 17 00:00:00 2001 From: Jordan Petridis Date: Sat, 27 Jan 2018 14:40:51 +0200 Subject: [PATCH] Headerbar: Do not allow insertion of duplicate urls. --- hammond-gtk/resources/gtk/headerbar.ui | 1 + hammond-gtk/src/headerbar.rs | 28 ++++++++++++++++++-------- 2 files changed, 21 insertions(+), 8 deletions(-) diff --git a/hammond-gtk/resources/gtk/headerbar.ui b/hammond-gtk/resources/gtk/headerbar.ui index 9152d75..7718695 100644 --- a/hammond-gtk/resources/gtk/headerbar.ui +++ b/hammond-gtk/resources/gtk/headerbar.ui @@ -91,6 +91,7 @@ Tobias Bernard Add True + False True False