From 751f0ac7e8f695413d8c1a56deefa428d5314b9b Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sat, 5 Aug 2017 19:49:18 +1000 Subject: Undo and level/move number display boxes added --- src/displays.ads | 20 ++++++++++++++++++-- 1 file changed, 18 insertions(+), 2 deletions(-) (limited to 'src/displays.ads') diff --git a/src/displays.ads b/src/displays.ads index e8b04d8..d029dac 100644 --- a/src/displays.ads +++ b/src/displays.ads @@ -59,6 +59,16 @@ package Displays is Msg : in String); + procedure Set_Level_Number + (This : in out Display; + To : in Natural); + + + procedure Set_Move_Number + (This : in out Display; + To : in Natural); + + procedure Set_Keyboard_Callback (This : in out Display; Func : in Keyboard_Callback); @@ -75,14 +85,20 @@ private type Display is new FLTK.Widgets.Groups.Windows.Double.Double_Window with record Message_Box : FLTK.Widgets.Boxes.Box; + Level_Box : FLTK.Widgets.Boxes.Box; + Move_Box : FLTK.Widgets.Boxes.Box; Current_Grid : access Grids.Grid; Key_Func : Keyboard_Callback; end record; Text_Size : constant FLTK.Font_Size := 12; - Message_Box_Width : constant Integer := 500; - Message_Box_Height : constant Integer := 100; + Message_Box_Width : constant Integer := 440; + Message_Box_Height : constant Integer := 80; + + + Stat_Box_Width : constant Integer := Message_Box_Width / 2; + Stat_Box_Height : constant Integer := 20; end Displays; -- cgit