view build-aux/OctJavaQry.java @ 19134:b2c4d6d461f0 gui-release

fix conflict between main and editor menus when using alt keys (bug #42659) * file-editor.cc (enable_menu_shortcuts): new function enabling/disabling the alt-key accelerators; (m_add_menu): new function adding a menu and storing menu title with and without the char & indicating the accelerator in a hash; (construct): use m_add_menu for adding a new menu to the menu bar * file-editor-interface.h: new virtual function enable_menu_shortcuts * file-editor.h: new functions enable_menu_shortcuts amd m_add_menu, new hash for storing the menu titles * main-window.cc (connect_visibility_changed): disable editors menu shortcuts; (enable_menu_shortcuts): new function enabling/disabling the alt-key accelerators; (m_add_menu): new function adding a menu and storing menu title with and without the char & indicating the accelerator in a hash; (construct_file_menu, construct_edit_menu, construct_debug_menu, construct_window_menu, construct_help_menu, construct_news_menu): use m_add_menu for adding a new menu to the menu bar; (set_global_edit_shortcuts): enable/disable the main and the editors menu shortcuts
author Torsten <ttl@justmail.de>
date Sun, 20 Jul 2014 20:44:30 +0200
parents fafd51a1b0f0
children
line wrap: on
line source

// Code used by configure script to locate Java installation variables.
// Only compiled code, OctJavaQry.class, is distributed.
public class OctJavaQry
{
  public static void main (String[] args)
  {
    if (args.length > 0)
    {
      if (args[0].equals ("JAVA_HOME"))
      {
        System.out.println (System.getProperty ("java.home"));
      }
      else if (args[0].equals ("JAVA_LDPATH"))
      {
        System.out.println (System.getProperty ("java.library.path"));
      }
      else if (args[0].equals ("JAVA_BOOTPATH"))
      {
        System.out.println (System.getProperty ("sun.boot.library.path"));
      }
    }
  }
}