File tigervnc-1.8.0-nowindows.patch of Package tigervnc.20176

--- tigervnc-1.8.0/java/com/tigervnc/vncviewer/F8Menu.java	2017-12-18 15:47:56.544658662 +0100
+++ tigervnc-1.8.0/java/com/tigervnc/vncviewer/F8Menu.java	2017-12-18 15:54:53.002571101 +0100
@@ -40,9 +40,6 @@
   public F8Menu(CConn cc) {
     super("VNC Menu");
     setLightWeightPopupEnabled(false);
-    String os = System.getProperty("os.name");
-    if (os.startsWith("Windows"))
-      com.sun.java.swing.plaf.windows.WindowsLookAndFeel.setMnemonicHidden(false);
     this.cc = cc;
     restore    = addMenuItem("Restore",KeyEvent.VK_R);
     restore.setEnabled(!embed.getValue());