diff options
author | Jed Barber <jjbarber@y7mail.com> | 2017-08-05 19:49:18 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2017-08-05 19:49:18 +1000 |
commit | 751f0ac7e8f695413d8c1a56deefa428d5314b9b (patch) | |
tree | 20d62e601eb79b132aa71518e191af46e98bf650 /src/moves.adb | |
parent | e63ddbaa05da3aa302a330a71f45f49d0343691d (diff) |
Undo and level/move number display boxes added
Diffstat (limited to 'src/moves.adb')
-rw-r--r-- | src/moves.adb | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/moves.adb b/src/moves.adb index e9bffc1..11f92b4 100644 --- a/src/moves.adb +++ b/src/moves.adb @@ -40,5 +40,15 @@ package body Moves is end Drop_Latest; + + + function Length + (This : in Path) + return Natural is + begin + return Natural (Move_Vectors.Vector (This).Length); + end Length; + + end Moves; |