Closed GoogleCodeExporter closed 9 years ago
Copy, Ctrl+Insert, also does not work. it appears any key combo with Insert is
broken.
Original comment by voidlog...@gmail.com
on 30 Dec 2012 at 10:24
fixit
https://github.com/visualfc/liteide/commit/0af199b50f781feb56e5f20b9264934e1d01d
2c0
Original comment by Visua...@gmail.com
on 31 Dec 2012 at 2:35
Original issue reported on code.google.com by
voidlog...@gmail.com
on 29 Dec 2012 at 6:57