Add option to show the auto-correction right of the centered typed word - #668

Add option to show the auto-correction right of the centered typed word#668

4di-hello wants to merge 1 commit into

LeanBitLab:mainLeanBitLab/LeanType:mainfrom

4di-hello:feature/autocorrection-right-of-typed-word4di-hello/LeanType:feature/autocorrection-right-of-typed-wordCopy head branch name to clipboard