9:52:39scymtymjackdaniel: shouldn't *DOUBLE-CLICK-DELAY* be in events or input? the description sounds like it is intended to be used when producing (the currently unimplemented) POINTER-DOUBLE-CLICK-EVENT
10:06:59jackdanielI was contemplating removing the parameter whatsoever and inlining the value in the gadget implementation, but that would involve semantic changes (so to speak), while I've tried hard to make it only a cleanup of file organization
10:07:53jackdanielit is used in a function popup-list-box
10:08:18jackdanielwhich in turn is called from handle-event defined on generic-option-pane
10:10:32scymtymi assumed as much, but it seems like the intention was using it for POINTER-DOUBLE-CLICK-EVENT which we should implement at some point (it is in the specification)
10:11:27jackdanielI do not contest that, when it is implemented then the parameter may be moved and options-pane implementation properly adjusted
10:11:34jackdanielif that's the right thing to do of course
10:12:59scymtymwhich pull request would be the best to look at first?