Merge branch 'release/19.12'
This merge contains the crash fix for ESC in the external tools plugin
Description
Description
Details
Details
- Committed
dhaumann Jan 3 2020, 1:46 PM - Parents
- R40:5aa3b009cf53: Fix crash when pressing ESC after external tools plugin was un/reloaded
R40:c8e04248e5d0: sort settings file by language id - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
| Commit | Author | Details | Committed | |||
|---|---|---|---|---|---|---|
| 5aa3b009cf53 | dhaumann | Fix crash when pressing ESC after external tools plugin was un/reloaded | Jan 3 2020 | |||
| 1f614a1963da | cullmann | sort settings file by language id | Jan 2 2020 | |||
| 0f0161d77e9e | cullmann | initial support for javascript + typescript LSP | Jan 2 2020 | |||
| 20cd727e7f55 | pino/cullmann | lsp: update info of OCaml server | Jan 2 2020 | |||
| 6645379e5f04 | mnauwelaerts/cullmann | lspclient: aid compilation on older version by explicit json object conversion | Jan 1 2020 | |||
| 83bc059cc24f | cullmann | relax ocaml regex | Jan 1 2020 | |||
| ce8ab61a3ea0 | cullmann | allow highlighting mode => language id mapping to be configured in the JSON… | Jan 1 2020 |