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.

Sign up for GitHub

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

Jump to bottom

Add a few undocumented settings to the preferences schema #91

Merged
merged 11 commits into from
May 29, 2021
Merged

Add a few undocumented settings to the preferences schema #91

merged 11 commits into from
May 29, 2021

Commits on May 28, 2021

  1. Add the default_extension setting. 

    This commit adds the `default_extension` setting.
    @UltraInstinct05
    UltraInstinct05 committed May 28, 2021
    Configuration menu
    Copy the full SHA
    9ff4a95 View commit details
    Browse the repository at this point in the history

  2. Add the show_legacy_color_schemes setting. 

    This commit adds the `show_legacy_color_schemes` setting.
    @UltraInstinct05
    UltraInstinct05 committed May 28, 2021
    Configuration menu
    Copy the full SHA
    201258a View commit details
    Browse the repository at this point in the history

  3. Add the gtk_enable_key_translation setting. 

    This commit adds the `gtk_enable_key_translation` setting.
    @UltraInstinct05
    UltraInstinct05 committed May 28, 2021
    Configuration menu
    Copy the full SHA
    bd6635c View commit details
    Browse the repository at this point in the history

  4. Add the gtk_client_side_window_decorations setting. 

    This commit adds the `gtk_client_side_window_decorations` setting.
    @UltraInstinct05
    UltraInstinct05 committed May 28, 2021
    Configuration menu
    Copy the full SHA
    54be9a0 View commit details
    Browse the repository at this point in the history

  5. Add the auto_complete_enable_plugins setting. 

    This commit adds the `auto_complete_enable_plugins` setting.
    @UltraInstinct05
    UltraInstinct05 committed May 28, 2021
    Configuration menu
    Copy the full SHA
    ff1ddfe View commit details
    Browse the repository at this point in the history

  6. Add the print_using_browser setting. 

    This commit adds the `print_using_browser` setting.
    @UltraInstinct05
    UltraInstinct05 committed May 28, 2021
    Configuration menu
    Copy the full SHA
    2feb4dc View commit details
    Browse the repository at this point in the history

  7. Add some build information to some of the settings.

    @UltraInstinct05
    UltraInstinct05 committed May 28, 2021
    Configuration menu
    Copy the full SHA
    c4d895e View commit details
    Browse the repository at this point in the history

  8. Some corrections to gtk_enable_key_translation setting.

    @UltraInstinct05
    UltraInstinct05 committed May 28, 2021
    Configuration menu
    Copy the full SHA
    7ee8179 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2021

  1. [Chore] Address issues raised in review comments (Part 1). 

    This commit marks all of the settings as `Unlisted` since these are not
openly defined in the preferences.
    @UltraInstinct05
    UltraInstinct05 committed May 29, 2021
    Configuration menu
    Copy the full SHA
    d8aa0d6 View commit details
    Browse the repository at this point in the history

  2. Add the default_dir setting. 

    This commit adds the `default_dir` setting.
    @UltraInstinct05
    UltraInstinct05 committed May 29, 2021
    Configuration menu
    Copy the full SHA
    9330c28 View commit details
    Browse the repository at this point in the history

  3. [Chore] Address issues raised in review comments (Part 2). 

    A few corrections mentioned in the review comments.
    @UltraInstinct05
    UltraInstinct05 committed May 29, 2021
    Configuration menu
    Copy the full SHA
    7883ac4 View commit details
    Browse the repository at this point in the history