Text_Editor key bindings hopefully fixed, yet more polishing

1 files changed, 23 insertions, 0 deletions

diff --git a/src/fltk-environment.ads b/src/fltk-environment.ads
index a163d19..cfa63a8 100644
--- a/src/fltk-environment.ads
+++ b/src/fltk-environment.ads
@@ -5,6 +5,9 @@ package FLTK.Environment is
 
     type Preferences is new Wrapper with private;
 
+    type Preferences_Reference (Data : not null access Preferences'Class) is
+        limited null record with Implicit_Dereference => Data;
+
     type Scope is (Root, User);
 
 
@@ -159,5 +162,25 @@ private
            (This : in out Preferences);
 
 
+
+
+    pragma Inline (Number_Of_Entries);
+    pragma Inline (Get_Key);
+    pragma Inline (Entry_Exists);
+    pragma Inline (Entry_Size);
+
+
+    pragma Inline (Get);
+    pragma Inline (Set);
+
+
+    pragma Inline (Delete_Entry);
+    pragma Inline (Delete_All_Entries);
+    pragma Inline (Clear);
+
+
+    pragma Inline (Flush);
+
+
 end FLTK.Environment;