AmendHub

Download:

jcs

/

amend

/

amendments

/

12

browser: Give a bit more space to the diff TE


jcs made amendment 12 over 2 years ago
--- browser.c Mon Oct 18 13:09:06 2021 +++ browser.c Wed Oct 20 11:08:12 2021 @@ -107,7 +107,7 @@ browser_init(struct repo *repo) /* file list */ bounds.top = bounds.left = padding; bounds.bottom = browser->win->portRect.bottom - - (browser->win->portRect.bottom / 2) - 2 - 20 - padding - padding; + (browser->win->portRect.bottom * 0.6) - 2 - 20 - padding - padding; bounds.right = 100; TextFont(applFont); @@ -129,8 +129,6 @@ browser_init(struct repo *repo) /* commit list */ bounds.top = bounds.left = padding; - bounds.bottom = browser->win->portRect.bottom - - (browser->win->portRect.bottom / 2) - 2 - padding; bounds.left = bounds.right + padding; bounds.right = browser->win->portRect.right - SCROLLBAR_WIDTH - padding;