diff options
| author | jfrijters <jfrijters> | 2015-04-16 17:02:10 +0300 |
|---|---|---|
| committer | jfrijters <jfrijters> | 2015-04-16 17:02:10 +0300 |
| commit | d7db0c8c146f87c976a87deba7eb05f5682276a7 (patch) | |
| tree | 336569ccae430507d402da050bc70654ca643dac | |
| parent | 5f7b50b4c566783884a04c7e6ed6f79cf1b36cfe (diff) | |
Handle more text sources for clipboard copy by using an appropriate Reader for the source data. Patch by Daniel Zatonyi <dzatonyi@chemaxon.com>.
| -rw-r--r-- | awt/toolkit-0.95.cs | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/awt/toolkit-0.95.cs b/awt/toolkit-0.95.cs index 1addb119..00abb17f 100644 --- a/awt/toolkit-0.95.cs +++ b/awt/toolkit-0.95.cs @@ -5540,7 +5540,27 @@ namespace ikvm.awt else if (flavor.isFlavorTextType()) { if (contents is string) + { obj.SetText((string) transferable.getTransferData(flavor)); + } + else + { + try + { + java.io.Reader reader = flavor.getReaderForText(transferable); + java.io.StringWriter writer = new java.io.StringWriter(); + char[] buffer = new char[1024]; + int n; + while ((n = reader.read(buffer)) != -1) + { + writer.write(buffer, 0, n); + } + obj.SetText(writer.toString()); + } + catch + { + } + } } else if (java.awt.datatransfer.DataFlavor.imageFlavor.equals(flavor)) { |