add conf. parameter for double-click-timeout, fix WPopupMenu within WNavigationBar