Ticket #3794: 3794_2.patch

_source/plugins/dialogui/plugin.js

@@ -222 +222 @@
                                                                 {
                                                                         dialog.getButton( 'ok' ) && dialog.getButton( 'ok' ).click();
                                                                         keyPressedOnMe = false;
+                                                                        evt.cancel();
                                                                 }
                                                         } );
                                         } );