diff src/.gdbinit @ 25091:c3dc74005d22

(x_set_toolkit_scroll_bar_thumb): Don't call XawScrollbarSetThumb if thumb parameters haven't changed because that function apparently isn't optimized for this case.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 27 Jul 1999 23:55:28 +0000
parents 4379a41b6f2e
children c26a9f95a880
line wrap: on
line diff