editor scrollbar seems to lag behind or ahead or something. Could be due to the extra bar at the bottom. can you investigate this?