[bug #68112] Pager no longer working under Windows

Please use the bug tracker to post updates to a bug report.  The mailing list is intended as a read-only notification stream.  Info posted to this mailing list address won't appear in the tracker database where it is most useful.

Update of bug #68112 (group octave):

                  Status:               Confirmed => Patch Submitted
         Planned Release:                    None => 11.2.0 (current stable)

    _______________________________________________________

Follow-up Comment #12:

The attached patch adds a warning when trying to enable the pager in the GUI
on Windows and adds a comment about that to the documentation of the `more`
function. Other than that, it is pretty similar to the previous patch.

I think that could go to the stable branch like that. 
It would enable the pager in the CLI on Windows again. Like discussed, it
would disable the pager in the GUI on Windows.
Doing that would avoid that the interface gets stuck completely.


(file #58439)

    _______________________________________________________

Additional Item Attachment:

Name: bug68112-windows-pager-cli-v1.patch Size: 9.9KiB

<https://file.savannah.gnu.org/file/bug68112-windows-pager-cli-v1.patch?file_id=58439>


    AGPL NOTICE

These attachments are served by Savane. You can download the corresponding
source code of Savane at
https://savannah.gnu.org/source/savane-f290f6b25beb8cb99bbe243a6cd2c5fef79ffcde.tar.gz


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?68112>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQQk97aszIMMAvLLwm6qLAuaBUf3TgUCac6zegAKCRCqLAuaBUf3
Tgc+AQDU8dDzcgZpmzfEBP1EdU6pHBTJvFRFyF3xW1PQ94dsUgD/bv00y5rQ2Q44
zdWIcrMnl/R6U+nOno2H4tlFy4qruA4=
=+474
-----END PGP SIGNATURE-----