godot icon indicating copy to clipboard operation
godot copied to clipboard

Add text editor minimap customization

Open Lu-TheCoder opened this issue 9 months ago • 24 comments

Minimap (line spacing and line scaling) Feature

Added feature that allows us to edit the line spacing and line scale of the Minimap.

Screenshot 2024-05-01 at 18 17 42

https://github.com/godotengine/godot/assets/90724319/5e2a5e1c-e3ca-4d3c-8c79-0dfd3f9985b1

Why?

The current minimap in Godot is tiny and small.. This PR increased the default size and allows for customization to look more visually appealing.

Lu-TheCoder avatar May 01 '24 11:05 Lu-TheCoder

Commit Squashing always creates a Merge Commit rather than a normal commit.. is that normal? or am I doing something wrong?

(Every time I fix my workflows errors and commit the changes and squash them it does that.)

Lu-TheCoder avatar May 01 '24 11:05 Lu-TheCoder

Commit Squashing always creates a Merge Commit rather than a normal commit.. is that normal? or am I doing something wrong?

You need to push with git push -f to avoid the merge commits, you need to remove any such commits when squashing

AThousandShips avatar May 01 '24 11:05 AThousandShips

You can always fix a PR by resetting your branch, you don't need to close the old ones, please avoid that as it clutters the tracker, if you need help to fix anything please ask

AThousandShips avatar May 01 '24 11:05 AThousandShips

You can always fix a PR by resetting your branch, you don't need to close the old ones, please avoid that as it clutters the tracker, if you need help to fix anything please ask

Thank you I wasn't aware I'll definitely try that from now.. Thanks

Lu-TheCoder avatar May 01 '24 11:05 Lu-TheCoder

@AThousandShips Not sure if I'm correct but is the Check GHA/Linux/Editor w/ Mono (target=editor), failing because the <member>...</member> entries need to be sorted in alphabetical order?

Lu-TheCoder avatar May 01 '24 12:05 Lu-TheCoder

Yes, please run --doctool on the compiled editor to fix it automatically

AThousandShips avatar May 01 '24 12:05 AThousandShips

Yes, please run --doctool on the compiled editor to fix it automatically

Note sure I know where to go to do that.. mind showing me how to navigate to the compiled editor? or do I have to do it locally on my machine?

Lu-TheCoder avatar May 01 '24 12:05 Lu-TheCoder

From the godot directory, see here

AThousandShips avatar May 01 '24 12:05 AThousandShips

You merged your branch again, please use git push -f instead of merging, fix this by:

git reset --hard 80e3694
git push -f

Your computer is also configured weirdly so your commits are from the past, please check that your computer clock isn't off

AThousandShips avatar May 01 '24 12:05 AThousandShips

You will need to fix the order again you must have removed those changes

AThousandShips avatar May 01 '24 12:05 AThousandShips

You merged your branch again, please use git push -f instead of merging, fix this by:

git reset --hard 80e3694
git push -f

Your computer is also configured weirdly so your commits are from the past, please check that your computer clock isn't off

so to remove commit 80e3694 and be left with 9d44821

I have to run:

git reset --hard 9d44821 ?

Lu-TheCoder avatar May 01 '24 12:05 Lu-TheCoder

You're good now, this was to drop the merge commit before

But no it's backwards, if you want to drop 9d44821 and only keep 80e3694 you'd call git reset --hard 80e3694, it goes back in the chain of commits

Once the CI has finished you can squash the commits, remember to use git push -f

AThousandShips avatar May 01 '24 12:05 AThousandShips

FINALLY! @AThousandShips Thank you very much for your patience! Truly Appreciated once again 🥇 !!

Lu-TheCoder avatar May 01 '24 13:05 Lu-TheCoder

It's a thing that takes time to get right, I struggled myself when I started out

AThousandShips avatar May 01 '24 13:05 AThousandShips

It's a thing that takes time to get right, I struggled myself when I started out

Indeed! Now I will be able to do Future PR's with less hiccups.. Gracias!

Lu-TheCoder avatar May 01 '24 13:05 Lu-TheCoder

I have the exact opposite grievance with minimap. For me, the minimap is a way to jump to relevant sections of big scripts in a cleaner matter than with the scrollbar. I think VSCode's default is wayy better, as it's way tighter, allowing to scroll to more of the script at once.

VSCode default: image

image

This isn't against the PR, I'd have liked to discuss this in a proposal but one wasn't made. I just hope we don't bet too hard on our current approach, to where it'd be hard to avoid compat-breaking in the future.

MewPurPur avatar May 01 '24 14:05 MewPurPur

I have the exact opposite grievance with minimap. For me, the minimap is a way to jump to relevant sections of big scripts in a cleaner matter than with the scrollbar. I think VSCode's default is wayy better, as it's way tighter, allowing to scroll to more of the script at once.

Well in Essence The PR doesn't enforce a certain zoom level but rather allows you to customize it to your need. Thus if you would like the VScode default style you can simply set it and adjust it rather then have it permanently imposed on everyone who would prefer a different style.

So you would still be able to click an navigate to certain parts of the code as you would like based on your preference.

Lu-TheCoder avatar May 01 '24 14:05 Lu-TheCoder

Maybe it should be floats instead of ints for more control over the size?

kitbdev avatar May 01 '24 15:05 kitbdev

Maybe it should be floats instead of ints for more control over the size?

Yes that's exactly what I had in mind, since we do lose some precision when we divide integers

Lu-TheCoder avatar May 01 '24 15:05 Lu-TheCoder

You seem to have broken things by reverting changes, please rebase your branch to fix this

AThousandShips avatar May 01 '24 16:05 AThousandShips

hmm I clicked on rebase but nothing is happening...

Lu-TheCoder avatar May 01 '24 16:05 Lu-TheCoder

Please use the rebase function in the command line instead, using the GitHub method probably caused something to break, use git rebase master instead

AThousandShips avatar May 01 '24 16:05 AThousandShips

I get a : Successfully rebased and updated refs/heads/Add-Minimap-Customization.

so do I git push -f ? or

Lu-TheCoder avatar May 01 '24 16:05 Lu-TheCoder

Yes always use git push -f when you've altered the history, which you can see when you do git status and it says "have diverged" or similar

AThousandShips avatar May 01 '24 16:05 AThousandShips