Commit Graph

10 Commits

Author SHA1 Message Date
John Livingston 4fe972dc10
Configure bot name + refactoring. 2023-09-22 16:45:07 +02:00
John Livingston 5373fb1570
Renaming 'moderation' pages to 'configuration'. 2023-09-22 16:45:02 +02:00
John Livingston 0987a036a0
Moderation configuration screen: WIP. 2023-09-22 16:45:01 +02:00
John Livingston a25c4822fa
Moderation configuration screen: WIP. 2023-09-22 16:45:01 +02:00
John Livingston 02728bb38d
Moderation configuration screen: WIP. 2023-09-22 16:45:01 +02:00
John Livingston efb8710f67
Moderation configuration screen: WIP. 2023-09-22 16:45:01 +02:00
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