-
Notifications
You must be signed in to change notification settings - Fork 140
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[frontend] Fixing indentation problems + indentation preferences #995
base: master
Are you sure you want to change the base?
Commits on Feb 23, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 27fbfeb - Browse repository at this point
Copy the full SHA 27fbfebView commit details
Commits on Feb 26, 2024
-
[frontend/user_manager] Adding code indentation support to UserManage…
…r and database user creation
Configuration menu - View commit details
-
Copy full SHA for 4bb18ae - Browse repository at this point
Copy the full SHA 4bb18aeView commit details -
Configuration menu - View commit details
-
Copy full SHA for eba383e - Browse repository at this point
Copy the full SHA eba383eView commit details -
Configuration menu - View commit details
-
Copy full SHA for fd97825 - Browse repository at this point
Copy the full SHA fd97825View commit details
Commits on Feb 27, 2024
-
[frontend/user_manager] Code indentation not in DB by default + remov…
…ing ancient DB update when connecting user Not setting the code indentation in DB if the user has not changed it from default allows the gain of space in the database. A database update was present in the user connection because the idea in the past was to have the preferences changed in session and in DB through the same method. This was aaplied for the username change but was not done later for other preferences. A DB update was added later in profile.py despite beeing already present in connect_user().
Configuration menu - View commit details
-
Copy full SHA for 3fc8f03 - Browse repository at this point
Copy the full SHA 3fc8f03View commit details -
Configuration menu - View commit details
-
Copy full SHA for e799111 - Browse repository at this point
Copy the full SHA e799111View commit details
Commits on Feb 28, 2024
-
Configuration menu - View commit details
-
Copy full SHA for d85b106 - Browse repository at this point
Copy the full SHA d85b106View commit details
Commits on Apr 3, 2024
-
[frontend/profile] Using unique DB update for profile update
Plus adding back default values in DB. They are many cases where we don't handle if data is not present in the DB.
Configuration menu - View commit details
-
Copy full SHA for 30b6f3c - Browse repository at this point
Copy the full SHA 30b6f3cView commit details -
[frontend] Multiple small changes concerning available indentations dict
Make text translatable, unique indent value for indentUnit and tabSize, removing from globals
Configuration menu - View commit details
-
Copy full SHA for 91e42d1 - Browse repository at this point
Copy the full SHA 91e42d1View commit details
Commits on Apr 4, 2024
-
Configuration menu - View commit details
-
Copy full SHA for b567ea5 - Browse repository at this point
Copy the full SHA b567ea5View commit details -
[frontend/codemirror] Fixing tab indentation
Now autocompletes tab indentations and replacing 4-space blocks with tabs, but only those used for indentation.
Configuration menu - View commit details
-
Copy full SHA for 4c22bc0 - Browse repository at this point
Copy the full SHA 4c22bc0View commit details -
Configuration menu - View commit details
-
Copy full SHA for e050b74 - Browse repository at this point
Copy the full SHA e050b74View commit details