From a37f61028d9c1d47e281edf02e086eaf7344d964 Mon Sep 17 00:00:00 2001
From: Doug Kearns <dougkearns@gmail.com>
Date: Thu, 12 Mar 2009 22:44:13 +1100
Subject: [PATCH] Fix editor#pasteClipboard on Windows.

---
 common/content/editor.js | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/common/content/editor.js b/common/content/editor.js
index b62aad98..8c983475 100644
--- a/common/content/editor.js
+++ b/common/content/editor.js
@@ -623,6 +623,13 @@ function Editor() //{{{
 
         pasteClipboard: function ()
         {
+            if (liberator.has("Win32"))
+            {
+                this.executeCommand("cmd_paste");
+                return;
+            }
+
+            // FIXME: #93 (<s-insert> in the bottom of a long textarea bounces up)
             let elem = window.document.commandDispatcher.focusedElement;
 
             if (elem.setSelectionRange && util.readFromClipboard())