3 Commits

Author	SHA1	Message	Date
Moisés Ackerman	ad123f9b22	Add da-hls helper (#13853) ... * Add haskell-language-server executable * Add da-hls alias * strip prefixes in da_haskell_libraries * Remove dev-env-provided ghcide * Update mentions of 'ghcide' to 'hls' changelog_begin changelog_end	2022-05-12 10:53:10 +02:00
Stefano Baghino	a49c321902	Add party identifier autocompletion to Navigator (#12923) ... Fixes #12789 Adds a new query endpoint to Navigator's GraphQL backend that lists all the parties registered by Navigator. The parties are filtered on the server based on a query from the frontend and served back. The frontend uses this to provide suggestion and autocompletion features whenever a party identifier input is required. changelog_begin [Navigator] Whenever you have to input a party identifier you are now offered suggestions and the possibility to autocomplete. See #12789. changelog_end	2022-02-14 20:55:46 +00:00
Victor Peter Rouven Müller	c0c40bd10f	Add autoformatting to ts bindings & navigator frontend (#12693) ... * Add autoformatting for the ts&tsx files (typescript effectively) changelog_begin changelog_end * Format ts files * Fix ts linter warnings	2022-02-11 11:44:52 +00:00