4 Commits

Author	SHA1	Message	Date
John Livingston	3fd6b9b563	Links to online documentation: ... * Adding a help button on top of the chat, that links to the online documentation on frama.io. * Replaced github.io documentation links by frama.io documentation. * Adding links to the documentation in the diagnostic tool.	2023-07-26 18:16:30 +02:00
John Livingston	f73ccbbf7e	Localization refactoring: ... * the front-end now use global constants, based on the translation key * build-client.js use the ESBuild "define" directive to replace these globals at compile time, by the english value * build:client must now be called after build:languages * moving the loadLoc and loc backend functions in a separate lib	2023-06-12 19:36:14 +02:00
John Livingston	80ef06c65f	Settings simplification to prepare translations. Diagnostic button is initialized by frontend.	2021-06-11 14:30:46 +02:00
John Livingston	20a5372e12	Adding PLUGIN_CHAT_PACKAGE_NAME	2021-04-12 15:08:05 +02:00