From c5b296567825c48d3658d62f01ec770449379e85 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Tue, 20 Feb 2024 19:42:18 +1300 Subject: Changed Mouse_Cursor to Mouse_Cursor_Kind for naming consistency --- src/fltk-draw.adb | 4 ++-- src/fltk-draw.ads | 4 ++-- src/fltk-widgets-groups-windows.adb | 4 ++-- src/fltk-widgets-groups-windows.ads | 4 ++-- src/fltk.ads | 4 ++-- 5 files changed, 10 insertions(+), 10 deletions(-) (limited to 'src') diff --git a/src/fltk-draw.adb b/src/fltk-draw.adb index 544d583..626e017 100644 --- a/src/fltk-draw.adb +++ b/src/fltk-draw.adb @@ -810,13 +810,13 @@ package body FLTK.Draw is procedure Set_Cursor - (To : in Mouse_Cursor) is + (To : in Mouse_Cursor_Kind) is begin fl_draw_set_cursor (Cursor_Values (To)); end Set_Cursor; procedure Set_Cursor - (To : in Mouse_Cursor; + (To : in Mouse_Cursor_Kind; Fore : in Color; Back : in Color := White_Color) is begin diff --git a/src/fltk-draw.ads b/src/fltk-draw.ads index 3ec3b94..004463a 100644 --- a/src/fltk-draw.ads +++ b/src/fltk-draw.ads @@ -169,10 +169,10 @@ package FLTK.Draw is (R, G, B : in Color_Component); procedure Set_Cursor - (To : in Mouse_Cursor); + (To : in Mouse_Cursor_Kind); procedure Set_Cursor - (To : in Mouse_Cursor; + (To : in Mouse_Cursor_Kind; Fore : in Color; Back : in Color := White_Color); diff --git a/src/fltk-widgets-groups-windows.adb b/src/fltk-widgets-groups-windows.adb index c1ffb31..68b2301 100644 --- a/src/fltk-widgets-groups-windows.adb +++ b/src/fltk-widgets-groups-windows.adb @@ -516,7 +516,7 @@ package body FLTK.Widgets.Groups.Windows is procedure Set_Cursor (This : in out Window; - To : in Mouse_Cursor) is + To : in Mouse_Cursor_Kind) is begin fl_window_set_cursor (This.Void_Ptr, Cursor_Values (To)); end Set_Cursor; @@ -537,7 +537,7 @@ package body FLTK.Widgets.Groups.Windows is procedure Set_Default_Cursor (This : in out Window; - To : in Mouse_Cursor) is + To : in Mouse_Cursor_Kind) is begin fl_window_set_default_cursor (This.Void_Ptr, Cursor_Values (To)); end Set_Default_Cursor; diff --git a/src/fltk-widgets-groups-windows.ads b/src/fltk-widgets-groups-windows.ads index 4cc8294..176aced 100644 --- a/src/fltk-widgets-groups-windows.ads +++ b/src/fltk-widgets-groups-windows.ads @@ -107,7 +107,7 @@ package FLTK.Widgets.Groups.Windows is procedure Set_Cursor (This : in out Window; - To : in Mouse_Cursor); + To : in Mouse_Cursor_Kind); procedure Set_Cursor (This : in out Window; @@ -116,7 +116,7 @@ package FLTK.Widgets.Groups.Windows is procedure Set_Default_Cursor (This : in out Window; - To : in Mouse_Cursor); + To : in Mouse_Cursor_Kind); diff --git a/src/fltk.ads b/src/fltk.ads index 7ad5c96..61775cb 100644 --- a/src/fltk.ads +++ b/src/fltk.ads @@ -86,7 +86,7 @@ package FLTK is - type Mouse_Cursor is + type Mouse_Cursor_Kind is (Default_Mouse, Arrow_Mouse, Crosshair_Mouse, @@ -401,7 +401,7 @@ private -- What delightful magic numbers FLTK cursors are! -- (These correspond to the enum found in Enumerations.H) - Cursor_Values : array (Mouse_Cursor) of Interfaces.C.int := + Cursor_Values : array (Mouse_Cursor_Kind) of Interfaces.C.int := (Default_Mouse => 0, Arrow_Mouse => 35, Crosshair_Mouse => 66, -- cgit