steady-mink-002
Changed the window id widget from a text entry to a number spinner. It's
range is a bit of an issue as setting it as G_MAXDOUBLE causes it to be
rendered with a massive width. For now I just set it with what I hope is
a large enough upper limit.