jawi/ols — pull request #171 by enkore (2013-05-18 13:06:24+00:00)
Title: UX fix for signal props editor

This patch sets the default button of the signal properties editor to the Ok button, making the dialog a bit more keyboard-friendly.