diff -r a7f18dda6baf -r 0ebf9d7b23e8 ui/motif/range.h
--- a/ui/motif/range.h	Wed Dec 04 08:57:35 2024 +0100
+++ b/ui/motif/range.h	Wed Dec 04 18:31:22 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