Double-clicking already does what I want with widget properties: my issue appears to be a problem with the speed at which I'm able to double tap the stylus. Perhaps the threshold for what constitutes a double click could be just slightly longer?
