< prev index next >

src/java.desktop/unix/classes/sun/awt/X11/XToolkit.java

Print this page




2550         }
2551     }
2552     /**
2553      * Returns if the java.awt.Desktop class is supported on the current
2554      * desktop.
2555      * <p>
2556      * The methods of java.awt.Desktop class are supported on the Gnome desktop.
2557      * Check if the running desktop is Gnome by checking the window manager.
2558      */
2559     @Override
2560     public boolean isDesktopSupported(){
2561         return XDesktopPeer.isDesktopSupported();
2562     }
2563 
2564     @Override
2565     public DesktopPeer createDesktopPeer(Desktop target){
2566         return new XDesktopPeer();
2567     }
2568 
2569     @Override










2570     public boolean areExtraMouseButtonsEnabled() throws HeadlessException {
2571         return areExtraMouseButtonsEnabled;
2572     }
2573 
2574     @Override
2575     public boolean isWindowOpacitySupported() {
2576         XNETProtocol net_protocol = XWM.getWM().getNETProtocol();
2577 
2578         if (net_protocol == null) {
2579             return false;
2580         }
2581 
2582         return net_protocol.doOpacityProtocol();
2583     }
2584 
2585     @Override
2586     public boolean isWindowShapingSupported() {
2587         return XlibUtil.isShapingSupported();
2588     }
2589 




2550         }
2551     }
2552     /**
2553      * Returns if the java.awt.Desktop class is supported on the current
2554      * desktop.
2555      * <p>
2556      * The methods of java.awt.Desktop class are supported on the Gnome desktop.
2557      * Check if the running desktop is Gnome by checking the window manager.
2558      */
2559     @Override
2560     public boolean isDesktopSupported(){
2561         return XDesktopPeer.isDesktopSupported();
2562     }
2563 
2564     @Override
2565     public DesktopPeer createDesktopPeer(Desktop target){
2566         return new XDesktopPeer();
2567     }
2568 
2569     @Override
2570     public boolean isTaskbarSupported(){
2571         return XTaskbarPeer.isTaskbarSupported();
2572     }
2573     
2574     @Override
2575     public TaskbarPeer createTaskbarPeer(Taskbar target){
2576         return new XTaskbarPeer();
2577     }
2578 
2579     @Override
2580     public boolean areExtraMouseButtonsEnabled() throws HeadlessException {
2581         return areExtraMouseButtonsEnabled;
2582     }
2583 
2584     @Override
2585     public boolean isWindowOpacitySupported() {
2586         XNETProtocol net_protocol = XWM.getWM().getNETProtocol();
2587 
2588         if (net_protocol == null) {
2589             return false;
2590         }
2591 
2592         return net_protocol.doOpacityProtocol();
2593     }
2594 
2595     @Override
2596     public boolean isWindowShapingSupported() {
2597         return XlibUtil.isShapingSupported();
2598     }
2599 


< prev index next >