On Sat, 2013-10-26 at 00:21 +0000, Danilo Cesar Lemes de Paula wrote: > This patch deserves the title: "fix a technical debt I left behind when > I wrote the probing computer code", but I've found a better one. > > The code is almost the same as the Gtk version, although I'm running the > file line by line. Thanks. Pushed /D