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

fn

Browse source
This commit is contained in:
Mathew Pareles 2025-03-31 00:15:13 -07:00
parent 35724f36cd
commit 2bd8e61706
1 changed files with 22 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

31
src/vs/workbench/contrib/void/browser/editCodeService.ts
View file

@ -72,6 +72,21 @@ registerColor('void.sweepIdxBG', configOfBG(sweepIdxBG), '', true);
const numLinesOfStr = (str: string) => str.split('\n').length
export const getLengthOfTextPx = ({ tabWidth, spaceWidth, content }: { tabWidth: number, spaceWidth: number, content: string }) => {
let lengthOfTextPx = 0;
for (const char of content) {
if (char === '\t') {
lengthOfTextPx += tabWidth
} else {
lengthOfTextPx += spaceWidth;
}
}
return lengthOfTextPx
}
const getLeadingWhitespacePx = (editor: ICodeEditor, startLine: number): number => {
const model = editor.getModel();
@ -95,16 +110,14 @@ const getLeadingWhitespacePx = (editor: ICodeEditor, startLine: number): number
const spaceWidth = editor.getOption(EditorOption.fontInfo).spaceWidth;
const tabWidth = numSpacesInTab * spaceWidth;
let paddingLeft = 0;
for (const char of leadingWhitespace) {
if (char === '\t') {
paddingLeft += tabWidth
} else if (char === ' ') {
paddingLeft += spaceWidth;
}
}
const leftWhitespacePx = getLengthOfTextPx({
tabWidth,
spaceWidth,
content: leadingWhitespace
});
return paddingLeft;
return leftWhitespacePx;
};