Fixed behaviour of Pause button

diff --git a/gtk.c b/gtk.c
index 7faa1323f3db93f7623df989b5a10464dc2e152e..9b963d749b54acf62f88acee009beca919da7f5d 100644 (file)
--- 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);
 }