When editing a Ceylon file (and only Ceylon files), the clipboard will keep a previously copied item and not copy over it. This is intermittent and started with 1.3.0, but once it starts only restarting Eclipse will correct it. I think this an old Eclipse bug, but it doesn't occur in JDT or on macOS.
When editing a Ceylon file (and only Ceylon files), the clipboard will keep a previously copied item and not copy over it. This is intermittent and started with 1.3.0, but once it starts only restarting Eclipse will correct it. I think this an old Eclipse bug, but it doesn't occur in JDT or on macOS.
Windows 10, JDK 8 u102, Eclipse Mars 4.5.2