view build-aux/OctJavaQry.class @ 18029:2ef2043a0601 stable

allow GUI warning bar to be hidden * main-window.h, main-window.cc (main_window::construct_warning_bar): Add buttons to hide warning bar and show more info about the GUI. (main_window::hide_warning_bar, main_window::show_gui_info): New slots.
author John W. Eaton <jwe@octave.org>
date Thu, 28 Nov 2013 08:33:22 -0500
parents fafd51a1b0f0
children
line wrap: on
line source

(binary:application/java-vm)