disable any editor mouse drag processing with right mouse button

disabled by default for now,
selection appeared with two buttons (left+right) pressed, which is bad for powermouse plugin users for example

platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorImpl.java

@@ -2274,7 +2274,8 @@ public final class EditorImpl extends UserDataHolderBase implements EditorEx, Hi
   }
 
   private void processMouseDragged(@NotNull MouseEvent e) {
-    if (!JBSwingUtilities.isLeftMouseButton(e) && !JBSwingUtilities.isMiddleMouseButton(e)) {
+    if (!JBSwingUtilities.isLeftMouseButton(e) && !JBSwingUtilities.isMiddleMouseButton(e)
+        || (Registry.is("editor.disable.drag.with.right.button") && JBSwingUtilities.isRightMouseButton(e))) {
       return;
     }
 

platform/util/resources/misc/registry.properties

@@ -1401,5 +1401,8 @@ editor.show.right.margin.in.read.only.files.description=Show right margin for re
 
 editor.text.fractional.metrics=false
 editor.text.fractional.metrics.description=Do not round glyph advances to integer values
+editor.disable.drag.with.right.button=false
+editor.disable.drag.with.right.button.description=Disable any mouse drag processing in editor with right mouse button pressed
+
 idea.invalidate.caches.invalidates.vfs=false
 idea.invalidate.caches.invalidates.vfs.description=Invalidate caches tries to invalidate everything, including Local History