Merge branch 'mr/jicquel/github.PR#81' into 'master'

Merge #81

See merge request eng/toolchain/gnatcoll-core!86

Author: Jicquel

src/gnatcoll-terminal.adb

@@ -432,4 +432,21 @@ package body GNATCOLL.Terminal is
          return Internal (Boolean'Pos (Self.FD = Stderr));
       end if;
    end Get_Width;
+
+   ---------------
+   -- Get_Lines --
+   ---------------
+
+   function Get_Lines (Self : Terminal_Info) return Integer is
+      function Internal (Stderr : Integer) return Integer;
+      pragma Import (C, Internal, "gnatcoll_terminal_lines");
+   begin
+      if Self.FD = File or else Self.Colors = Unsupported then
+         return -1;
+      else
+         return Internal (Boolean'Pos (Self.FD = Stderr));
+      end if;
+   end Get_Lines;
+
 end GNATCOLL.Terminal;
+

src/gnatcoll-terminal.ads

@@ -140,6 +140,10 @@ package GNATCOLL.Terminal is
    --  Return the width of the terminal, or -1 if that width is either
    --  unknown or does not apply (as is the case for files for instance).
 
+   function Get_Lines (Self : Terminal_Info) return Integer;
+   --  Return the height of the terminal, or -1 if that height is either
+   --  unknown or does not apply (as is the case for files for instance).
+
    -----------
    -- Utils --
    -----------

src/terminals.c

@@ -1,7 +1,7 @@
 /*----------------------------------------------------------------------------
 --                             G N A T C O L L                              --
 --                                                                          --
---                     Copyright (C) 2014-2018, AdaCore                     --
+--                     Copyright (C) 2014-2024, AdaCore                     --
 --                                                                          --
 -- This library is free software;  you can redistribute it and/or modify it --
 -- under terms of the  GNU General Public License  as published by the Free --
@@ -121,7 +121,7 @@ int gnatcoll_terminal_width(int forStderr) {
       GetStdHandle (forStderr ? STD_ERROR_HANDLE : STD_OUTPUT_HANDLE);
    CONSOLE_SCREEN_BUFFER_INFO csbiInfo;
    if (GetConsoleScreenBufferInfo (handle, &csbiInfo)) {
-      return (int)csbiInfo.dwSize.X;
+      return (int)(csbiInfo.srWindow.Right-csbiInfo.srWindow.Left + 1); // window width
    }
    return -1;
 
@@ -135,3 +135,24 @@ int gnatcoll_terminal_width(int forStderr) {
 #endif
 #endif
 }
+
+int gnatcoll_terminal_lines(int forStderr) {
+#ifdef _WIN32  // MsWin
+   const HANDLE handle =
+      GetStdHandle (forStderr ? STD_ERROR_HANDLE : STD_OUTPUT_HANDLE);
+   CONSOLE_SCREEN_BUFFER_INFO csbiInfo;
+   if (GetConsoleScreenBufferInfo (handle, &csbiInfo)) {
+      return (int)(csbiInfo.srWindow.Bottom-csbiInfo.srWindow.Top + 1); // window height
+   }
+   return -1;
+
+#else
+#ifdef TIOCGWINSZ   // Linux/OSX
+    struct winsize w;
+    ioctl(forStderr ? 1 : 0, TIOCGWINSZ, &w);
+    return w.ws_row; //  == lines
+#else
+    return -1;
+#endif
+#endif
+}

testsuite/tests/terminal/testlines.adb

@@ -0,0 +1,44 @@
+------------------------------------------------------------------------------
+--                                                                          --
+--                             G N A T C O L L                              --
+--                                                                          --
+--                     Copyright (C) 2023-2024, AdaCore                     --
+--                                                                          --
+-- This library is free software;  you can redistribute it and/or modify it --
+-- under terms of the  GNU General Public License  as published by the Free --
+-- Software  Foundation;  either version 3,  or (at your  option) any later --
+-- version. This library is distributed in the hope that it will be useful, --
+-- but WITHOUT ANY WARRANTY;  without even the implied warranty of MERCHAN- --
+-- TABILITY or FITNESS FOR A PARTICULAR PURPOSE.                            --
+--                                                                          --
+-- As a special exception under Section 7 of GPL version 3, you are granted --
+-- additional permissions described in the GCC Runtime Library Exception,   --
+-- version 3.1, as published by the Free Software Foundation.               --
+--                                                                          --
+-- You should have received a copy of the GNU General Public License and    --
+-- a copy of the GCC Runtime Library Exception along with this program;     --
+-- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
+-- <http://www.gnu.org/licenses/>.                                          --
+--                                                                          --
+------------------------------------------------------------------------------
+
+
+with GNATCOLL.Terminal;  use GNATCOLL.Terminal;
+with Ada.Text_IO;        use Ada.Text_IO;
+
+procedure testlines is
+	winrows, wincols: integer;
+	info: terminal_info;
+begin
+	info.init_for_stdout(auto);
+	wincols:=get_width(info);
+	winrows:=get_lines(info);
+
+	put("Lines:");
+	put(integer'image(winrows));
+	put(", Columns:");
+	put(integer'image(wincols));
+	new_line;
+
+end testlines;
+