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

Some fixes in Indentation options feature #264

Open

NishantWankhade opened this issue Jul 10, 2023 · 1 comment

Labels

Collaborator

NishantWankhade commented Jul 10, 2023

Fixes to be done in Indentation Options :->

Change the window title of the indentation options dialog
Set the current margin details in the left and right section
Dialog box hangs the tool until the box is closed, so it will be better to make the dialog box which won't hang the tool

NishantWankhade assigned AayushGupta69

NishantWankhade added bug Moderate labels

Contributor

AayushGupta69 commented Sep 21, 2023

Made some progress on commit 47fa25c

AayushGupta69 removed their assignment

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