view .arch-inventory @ 57315:0d912ccf6554

(XTset_vertical_scroll_bar): Improve handling of scroll bars with fractional column width. If scroll bar separates two windows, move it towards the window it belongs to. Only update the padding area below the scroll bar widget when necessary, i.e. when scroll bar widget is created, moved, or resized.

# Generated files
precious ^(config\.status|config\.cache)$

# Build-in-place makes these directories, so just ignore them
precious ^(info)$

# Install-in-place makes these directories, so just ignore them
backup ^(bin|data|lock|site-lisp)$

# arch-tag: 6eeeaa4e-cc7e-4b22-b3d7-1089e155da14