Skip to content
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

Open
wants to merge 12 commits into
base: master
Choose a base branch
from

Commits on Feb 23, 2024

  1. Configuration menu
    Copy the full SHA
    27fbfeb View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2024

  1. [frontend/user_manager] Adding code indentation support to UserManage…

    …r and database user creation
    AlexandreDoneux committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    4bb18ae View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    eba383e View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    fd97825 View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2024

  1. [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().
    AlexandreDoneux committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    3fc8f03 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    e799111 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2024

  1. cleaning for PR

    AlexandreDoneux committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    d85b106 View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2024

  1. [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.
    AlexandreDoneux committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    30b6f3c View commit details
    Browse the repository at this point in the history
  2. [frontend] Multiple small changes concerning available indentations dict

    Make text translatable, unique indent value for indentUnit and tabSize, removing from globals
    AlexandreDoneux committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    91e42d1 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2024

  1. Configuration menu
    Copy the full SHA
    b567ea5 View commit details
    Browse the repository at this point in the history
  2. [frontend/codemirror] Fixing tab indentation

    Now autocompletes tab indentations and replacing 4-space blocks with tabs, but only those used for indentation.
    AlexandreDoneux committed Apr 4, 2024
    Configuration menu
    Copy the full SHA
    4c22bc0 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    e050b74 View commit details
    Browse the repository at this point in the history