[frontend] Fixing indentation problems + indentation preferences#995

Open

AlexandreDoneux wants to merge 12 commits intoUCL-INGI:masterfrom AlexandreDoneux:indent_fix

+138-69

Commits on Feb 23, 2024

[frontend] Hardcoded indent choice for CodeMirror
AlexandreDoneux
committed

Commits on Feb 26, 2024

[frontend/user_manager] Adding code indentation support to UserManager and database user creation
AlexandreDoneux
committed
[frontend/profile] Adding Adding code indentation type in user preferences
AlexandreDoneux
committed
[frontend] Applying code indentation preference to CodeMirror blocks
AlexandreDoneux
committed

Commits on Feb 27, 2024

Commits on Feb 28, 2024

cleaning for PR
AlexandreDoneux
committed

Commits on Apr 3, 2024

Commits on Apr 4, 2024