RFR: 8209937: Enhance java.io.Console - provide methods to query console width and height (original) (raw)
Langer, Christoph christoph.langer at sap.com
Fri Aug 24 09:33:05 UTC 2018
- Previous message: Interpreter Function Handler
- Next message: RFR: 8209937: Enhance java.io.Console - provide methods to query console width and height
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Hi,
please review and give feedback for this augmentation of java.io.Console.
We have users that have the need to query for Width and Height of the console device in Java. In our own JVM implementation we had given them this hook as a custom extension already quite some time ago. We think, however, that it is a worthwhile augmentation of java.io.Console.
Bug: https://bugs.openjdk.java.net/browse/JDK-8209937 Webrev: http://cr.openjdk.java.net/~clanger/webrevs/8209937.0/
I'll also open a CSR for this, but I'll wait for some feedback on our proposal first.
Thanks & Best regards Christoph
- Previous message: Interpreter Function Handler
- Next message: RFR: 8209937: Enhance java.io.Console - provide methods to query console width and height
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]