Different page_separator_width between main window and Overview window #625
|
Hi @ahrm ,
I record this gif (same could be found in the previous discussion gif, but it was scrolling too fast so i didnt notice it):
My prefs_user.config are attached if you need to check it (github does not support .config type file, so i change the extension to .txt): Actually i remove everything in the prefs_user.config, no improvements before-and-after. Env: Thanks! |
Replies: 1 comment 3 replies
|
This has nothing to do with page separator (we don't have page separators in overview window). What happened is we only render one page at a time in overview window (shouldn't be a problem since it is a pretty small window anyway) so what you are interpreting as page separator is the empty part after the top/bottom of the page. The problem is that instead of using the background color, we always used white as the background of overview window which can be jarring. It should be fixed in 77e2bfb, now we use the custom background color as the background. |
|
Yeah that would be nicer looking, thanks for the improvement, I will try it out after the release is finished. Another itchiness is, being over jumpy when scroll between pages within Overview: Are we able to fix that? |
|
I think this is fixed in the same commit (I think this is an illusion because we simultaneously change pages and scroll). |
|
Tested. Perfect, thanks ahrm! |
This has nothing to do with page separator (we don't have page separators in overview window). What happened is we only render one page at a time in overview window (shouldn't be a problem since it is a pretty small window anyway) so what you are interpreting as page separator is the empty part after the top/bottom of the page. The problem is that instead of using the background color, we always used white as the background of overview window which can be jarring. It should be fixed in 77e2bfb, now we use the custom background color as the background.