--- a/ui/motif/range.h	Fri Nov 29 22:21:36 2024 +0100
+++ b/ui/motif/range.h	Thu Dec 12 20:01:43 2024 +0100
@@ -36,11 +36,6 @@
 extern "C" {
 #endif
 
-void ui_scrollbar_callback(Widget scrollbar, UiEventData *event, XtPointer cdata);
-double ui_scrollbar_get(UiRange *range);
-void   ui_scrollbar_set(UiRange *range, double value);
-void   ui_scrollbar_setrange(UiRange *range, double min, double max);
-void   ui_scrollbar_setextent(UiRange *range, double extent);
 
 
 #ifdef __cplusplus