From 356225754017a68e39dee78e476d43faa79f82aa Mon Sep 17 00:00:00 2001
From: Will Bradley <bradley.will@gmail.com>
Date: Thu, 9 Jan 2014 02:02:26 -0700
Subject: [PATCH] Adding numerical ping value

---
 pinger.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pinger.py b/pinger.py
index 7e19a1d..c1b9b22 100755
--- a/pinger.py
+++ b/pinger.py
@@ -212,6 +212,7 @@ class Pinger:
     surface.write_to_png("graph.png")
     self.ind.set_icon("") # gotta set it to nothing in order to update
     self.ind.set_icon("graph")
+    self.ping_menu.set_label("Ping: "+str(self.ping_log[-1])+" ms")
     
   def draw_rect(self, ctx, point, size, rgba):
     ctx.rectangle( point[0], point[1], size[0], size[1] )
@@ -242,6 +243,8 @@ class Pinger:
 
     # create a menu
     self.menu = Gtk.Menu()
+    # with ping numbers
+    self.ping_menu = self.create_menu_item("", None)
     # with pause option
     self.pause_menu = self.create_menu_item(pause_label, self.toggle_pause)
     # with autostart option