Hi, recently GitHub appears to have deoptimized file editing and searching. Editing a file previously made a scroll bar appear within the editor itself. This essentially meant the browser wouldn’t have to load the whole file at once. However, now that bar has been removed and when editing, the usual scroll bar on the side of the browser is used to scroll through the entire file, and the whole file is displayed at once. Not only does this make scrolling down to commit a pain, it also completely ruins file searching and makes changes take ages. Is there a way to revert this? I cannot find any associated setting in the Settings menu. FYI, I am dealing with files less than 1 MB large, so I don’t think a particularly large file is the issue here.
What happened? Is this repo-controlled or user-controlled? How do I optimize searching again, with the scroll bar within the editor, so I can edit smoothly and search quickly?