Elgato_dark/void
1
0
Fork 0
mirror of https://github.com/voideditor/void synced 2026-05-24 09:58:23 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

minor positional change

Browse source
This commit is contained in:
Mathew Pareles 2025-03-30 23:54:37 -07:00
parent 51c84df5a5
commit 3c186031be
1 changed files with 6 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
src/vs/workbench/contrib/void/browser/voidSelectionHelperWidget.ts
View file

@ -208,16 +208,14 @@ export class SelectionHelperContribution extends Disposable implements IEditorCo
let boxPos = getBoxPosition(targetLine);
// if the position of the box is too far to the right, keep searching for a good position
let attempt = 0;
const maxAttempts = 3;
outerLoop: while (boxPos.left > maxLeftPx && attempt < maxAttempts) {
attempt++
const lineDeltasToTry = [-1, -2, -3, 1, 2, 3];
const linesToTry = [targetLine - attempt, targetLine + attempt]
for (const line of linesToTry) {
boxPos = getBoxPosition(line);
if (boxPos.left > maxLeftPx) {
for (const lineDelta of lineDeltasToTry) {
boxPos = getBoxPosition(targetLine + lineDelta);
if (boxPos.left <= maxLeftPx) {
break outerLoop;
break;
}
}
}