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

Fix 'Welcome' formatting #35

Merged
merged 3 commits into from
Dec 18, 2023
Merged

Fix 'Welcome' formatting #35

merged 3 commits into from
Dec 18, 2023

Conversation

UrtsiSantsi
Copy link
Contributor

Following the comments in #34 I made the same changes here. Other Vala demos also have formatting problems, but this is the most visible.

Copy link
Contributor

@sonnyp sonnyp left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No formatting PRs please. It's gonna go back and forth.

Let's automated this instead like it is for JS, Rust and Python.

I have a draft PR here with Vala formatting support https://github.com/workbenchdev/Workbench/pull/527/files

@lw64 could you take over?

There are the important bits:

https://github.com/workbenchdev/Workbench/pull/527/files#r1304352148

https://github.com/workbenchdev/Workbench/pull/527/files#diff-1e3d957b32009a9cf7bfd57d0d9f49f51a5ba47dedea1db66460879b2a2b2411R31

@sonnyp sonnyp removed the request for review from lw64 December 14, 2023 18:47
@UrtsiSantsi
Copy link
Contributor Author

The PR also removes unneeded Gtk.Init() and changes the casting to the preferred one - it probably cannot be done by a formatter, unless it is very smart.

@sonnyp
Copy link
Contributor

sonnyp commented Dec 17, 2023

@UrtsiSantsi could you revert the formatting changes?

I have a draft PR to solve and automate formatting issues

@UrtsiSantsi
Copy link
Contributor Author

I removed all the formatting changes.

@lw64 lw64 merged commit b16f237 into main Dec 18, 2023
1 check passed
@lw64 lw64 deleted the fix_welcome_formatting branch December 18, 2023 11:59
@lw64
Copy link
Contributor

lw64 commented Dec 18, 2023

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants