From e12130621c0a0cd0acbe6c555a70470b431769f7 Mon Sep 17 00:00:00 2001
From: Vojtech Kurka <kurkavo1@fel.cvut.cz>
Date: Sun, 5 Apr 2015 16:03:10 +0200
Subject: [PATCH] Fixed behaviour of Pause button

---
 gtk.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/gtk.c b/gtk.c
index 7faa132..9b963d7 100644
--- a/gtk.c
+++ b/gtk.c
@@ -57,8 +57,10 @@ static GtkWidget *main_window;
 
 void gtk_add_ping_timeout (void)
 {
+  if(gtk_toggle_button_get_active((GtkToggleButton *)Pause_Button)){
+    return;
+  }
   int dt;
-
   dt = calc_deltatime (WaitTime);
   tag = g_timeout_add(dt / 1000, gtk_ping, NULL);
 }
-- 
2.47.2