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

refactor: ♻️ moved editor base theme to store.gd #22

Merged
merged 1 commit into from
Feb 24, 2023

Conversation

KANAjetzt
Copy link
Member

@KANAjetzt KANAjetzt commented Feb 24, 2023

Moved editor base theme to store.gd so it's easier to access.

I left the json_editor.gd as is. Because it uses a set function on the base_theme var.

@KANAjetzt KANAjetzt added the enhancement New feature or request label Feb 24, 2023
@KANAjetzt KANAjetzt requested a review from Qubus0 February 24, 2023 09:32
@@ -219,22 +219,22 @@ margin_bottom = -4.0
[node name="ScrollContainer" type="ScrollContainer" parent="TabContainer/Mod Manifest"]
margin_left = 7.0
margin_top = 7.0
margin_right = 1925.0
Copy link
Collaborator

Choose a reason for hiding this comment

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

I think we are ping-ponging these margins back and forth because of different screen resolutions..
But I think that only updates if something else in the scene was updated - in this case, which one of the tabs is visible

Copy link
Member Author

Choose a reason for hiding this comment

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

yep that's a bit annoying, if we didn't change something in the scene, we can just discard the changes before committing.

Copy link
Collaborator

@Qubus0 Qubus0 left a comment

Choose a reason for hiding this comment

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

looks good

@KANAjetzt KANAjetzt added this pull request to the merge queue Feb 24, 2023
Merged via the queue into main with commit 9bd05df Feb 24, 2023
@KANAjetzt KANAjetzt deleted the move_base_them_to_store branch February 28, 2023 08:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants