Is your request related to a problem? Please describe.
In case there's a real problem and some buffered writing are not flushed when they should, it would be safer to flush everything when gama is closed. Alternatively (or in addition) this could be manually triggered by the user with some button or menu option
Is your request related to a problem? Please describe. In case there's a real problem and some buffered writing are not flushed when they should, it would be safer to flush everything when gama is closed. Alternatively (or in addition) this could be manually triggered by the user with some button or menu option