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

Allow to select tabs versus spaces in Execute SQL Tabs #2800

Closed
stagg54 opened this issue Aug 12, 2021 · 4 comments
Closed

Allow to select tabs versus spaces in Execute SQL Tabs #2800

stagg54 opened this issue Aug 12, 2021 · 4 comments
Assignees
Labels
enhancement Feature requests. item for release note There is something in this issue which we need to include in the next release notes

Comments

@stagg54
Copy link

stagg54 commented Aug 12, 2021

I looked briefly for a similar issue and didn't see one. My work flow is I build queries in the Execute SQL tab and then copy them into my code. They come with all kinds of embedded tabs. However I much prefer spaces. Reformatting a big query is a pain. Not looking to start any kind flame war or debate over tabs versus spaces. It would just be nice to have a little check box in the preferences SQL tab.

Additional info

Please answer these questions before submitting your feature request.

Is your feature request related to an issue? Please include the issue number.

not that I know of. I'm new here. I did a quick search and didn't see anything.

Does this feature exist in another product or project? Please provide a link.

I'm sure it does, but I don't have a reference.

Do you have a screenshot? Please add screenshots to help explain your idea.

image
This is the current preferences screen. I imagine just adding anther drop down like the font drop down or a checkbox at the bottom that says use spaces instead of tabs. Dropdown probably makes more sense, but either one works for me.

@justinclift justinclift added the enhancement Feature requests. label Aug 14, 2021
@justinclift
Copy link
Member

Probably doable. Not sure how much effort it'd take though. 😉

@mgrojo mgrojo self-assigned this Aug 15, 2021
mgrojo added a commit that referenced this issue Aug 15, 2021
The QScintilla property is used to provide a new setting.

See issue #2800
@mgrojo
Copy link
Member

mgrojo commented Aug 15, 2021

Done. It only required allowing the configuration of a property in the editor library (QScintilla). @stagg54, could you give the nightly build a try and report any inconsistency?

@stagg54
Copy link
Author

stagg54 commented Aug 17, 2021

Works very well. Thank you.

@mgrojo
Copy link
Member

mgrojo commented Aug 17, 2021

Thanks for the report.

@mgrojo mgrojo closed this as completed Aug 17, 2021
@mgrojo mgrojo added this to the 3.13.0 - Future release milestone Aug 17, 2021
@justinclift justinclift added item for release note There is something in this issue which we need to include in the next release notes needs merging with upcoming release branch labels Aug 18, 2021
mgrojo added a commit that referenced this issue Oct 14, 2023
The QScintilla property is used to provide a new setting.

See issue #2800
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Feature requests. item for release note There is something in this issue which we need to include in the next release notes
Projects
None yet
Development

No branches or pull requests

3 participants