--- a/src/town_gui.cpp Fri Jun 22 09:44:21 2007 +0000
+++ b/src/town_gui.cpp Fri Jun 22 10:57:53 2007 +0000
@@ -183,6 +183,10 @@
} break;
+ case WE_DOUBLE_CLICK:
+ e->we.click.widget = 6;
+ /* Fall through */
+
case WE_CLICK:
switch (e->we.click.widget) {
case 3: { /* listbox */