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

Update extensions #1634

Merged

vkbo merged 1 commit into dev from extensions

Nov 29, 2023

Owner

vkbo commented Nov 29, 2023 •

edited

Loading

Summary:

This PR:

Removes some redundant methods and branches in various GUI extensions.
Extends the visible time for the Manuscript Build dialog progress bar from 1 to 3 seconds.
Fixes a sometimes failing test on the insert symbols feature.

Related Issue(s):

Reviewer's Checklist:

The header of all files contain a reference to the repository license
The overall test coverage is increased or remains the same as before
All tests are passing
All flake8 checks are passing and the style guide is followed
Documentation (as docstrings) is complete and understandable
Only files that have been actively changed are committed


          Clean up and fix minor issues with GUI extensions

a6d346f

vkbo added this to the Release 2.2 milestone

vkbo merged commit 60b0a4c into dev

9 checks passed

vkbo deleted the extensions branch

November 29, 2023 21:35

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet