4 Commits (712b88e3b43e3ff05dc7738068b7f3ff9d49406a)

Author SHA1 Message Date
mrward 1af9cd2f24 Fix SD-1698 - Exception when trying to open F# project properties 15 years ago
Daniel Grunwald b5f9f09c40 Highlighting editor: allow editing colors of highlighting definitions defined in AddIns. 16 years ago
Daniel Grunwald 3c212c5839 Improved F# interactive pad. 16 years ago
Daniel Grunwald 23d3dbf841 Ported F# binding to C#. (merge from 3.0 branch + added back adjustments for SD 4.0) 16 years ago
Daniel Grunwald be5d31d643 Ported F# binding to C#. 16 years ago
Daniel Grunwald 9ff90bcfd4 Add F# binding back to SharpDevelop 4.0. 16 years ago
Daniel Grunwald 6249b7bef7 Revert shortcut handling (reverse-merge of all changes from Sergej - r4173,4154,4149-4143,4128,4127). 16 years ago
Sergej Andrejev 12a9dd40f4 GesturesPlaceHolderRegistry and CommandsRegistry fixes 16 years ago
Daniel Grunwald 8bf506da54 Fixed bug that could cause pads to be lost when the layout is changed. (when trying to reopen such a "lost" pad, it would show up with a width of zero) 16 years ago
Daniel Grunwald f41bf57e52 SD2-1521: Reconsider what a 'preinstalled addin' is. 17 years ago
Daniel Grunwald ea4b5473c3 Fixed SD2-1517: Changes made in project options not being saved on configuration change. 17 years ago
Matt Ward adff7b48bf Project options now working for F# projects. 17 years ago
Robert Pickering 7755f80fe8 Upgrade to F# version 1.9.6.2 which includes an msbuild task, so we can remove our custom task. 17 years ago
Robert Pickering c97f0fac23 Undo changes, as these should have been applied to sharpdevelop30 branch. 17 years ago
Robert Pickering 08f14241df Upgrade F# binding to use version 1.9.6.2 (which comes with a msbuild provider so the custom one is no longer needed). 17 years ago
Daniel Grunwald 7ef5417928 Fixed potential stack overflow in DockContentHandler.cs. 18 years ago
Matt Ward e00119852c Disabled the F# interactive pad. 18 years ago
Matt Ward 4740270210 Re-enabled the F# interactive pad. 18 years ago
Matt Ward 46ba6b6c77 Disabled F# Interactive pad which prevents SharpDevelop from starting if the F# compiler is not installed. 18 years ago
Matt Ward 71b08634a4 Added F# addin created by Robert Pickering. 18 years ago