add primitive accounting for gtk scrollbar width
This commit is contained in:
parent
fbe13a46b1
commit
0970d7800f
@ -56,6 +56,10 @@
|
|||||||
|
|
||||||
If STACKDEPTH is non-nil and nonzero, return a position that far down."
|
If STACKDEPTH is non-nil and nonzero, return a position that far down."
|
||||||
(let* (
|
(let* (
|
||||||
|
;; need to not overlap the gtk scrollbar
|
||||||
|
(scrollbar-width (or (if (eq x-toolkit-scroll-bars 'gtk)
|
||||||
|
30) ; wild guess...
|
||||||
|
0))
|
||||||
(stackdepth (or stackdepth 0))
|
(stackdepth (or stackdepth 0))
|
||||||
(parent-width (frame-pixel-width))
|
(parent-width (frame-pixel-width))
|
||||||
(child-width (* notibox-width (string-pixel-width " ")))
|
(child-width (* notibox-width (string-pixel-width " ")))
|
||||||
@ -65,7 +69,8 @@ If STACKDEPTH is non-nil and nonzero, return a position that far down."
|
|||||||
(x-justify (pcase notibox-corner
|
(x-justify (pcase notibox-corner
|
||||||
((or 'topleft 'bottomleft) notibox-padding)
|
((or 'topleft 'bottomleft) notibox-padding)
|
||||||
((or 'topright 'bottomright)
|
((or 'topright 'bottomright)
|
||||||
(- parent-width (+ child-width notibox-padding)))))
|
(- (- parent-width scrollbar-width)
|
||||||
|
(+ child-width notibox-padding)))))
|
||||||
(y-justify (pcase notibox-corner
|
(y-justify (pcase notibox-corner
|
||||||
((or 'topleft 'topright) notibox-padding)
|
((or 'topleft 'topright) notibox-padding)
|
||||||
((or 'bottomleft 'bottomright)
|
((or 'bottomleft 'bottomright)
|
||||||
|
Loading…
Reference in New Issue
Block a user