⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 xframepeer.java

📁 this gcc-g++-3.3.1.tar.gz is a source file of gcc, you can learn more about gcc through this codes f
💻 JAVA
字号:
/* Copyright (C) 2000, 2002  Free Software Foundation   This file is part of libgcj.This software is copyrighted work licensed under the terms of theLibgcj License.  Please consult the file "LIBGCJ_LICENSE" fordetails.  */package gnu.awt.xlib;import java.awt.*;import java.awt.peer.*;import java.awt.image.*;import gnu.gcj.xlib.WMSizeHints;import gnu.gcj.xlib.WindowAttributes;import gnu.gcj.xlib.Display;import gnu.gcj.xlib.Visual;import gnu.gcj.xlib.Screen;import gnu.gcj.xlib.XConfigureEvent;/** FIXME: a lot of the code here should be moved down to XWindowPeer. */public class XFramePeer extends XCanvasPeer implements FramePeer{  public XFramePeer(Frame frame)  {    super(frame);        // Set some defaults for a toplevel component:    if (frame.getFont() == null)      frame.setFont(new Font("helvetica", Font.PLAIN, 12));    if (frame.getBackground() == null)      frame.setBackground(Color.lightGray);    if (frame.getForeground() == null)      frame.setForeground(Color.black);  }  /** Find parent window for toplevel window, ie. root window of      selected screen. Bounds are not changed. */  gnu.gcj.xlib.Window locateParentWindow(Rectangle bounds)  {    Screen screen = config.getVisual().getScreen();    return screen.getRootWindow();  }	  void initWindowProperties()  {    Frame frame = (Frame) component;    setResizable(frame.isResizable());    String title = frame.getTitle();    if (!title.equals("")) setTitle(title);  }  long getBasicEventMask()  {    return super.getBasicEventMask() |      WindowAttributes.MASK_STRUCTURE_NOTIFY;  }  void configureNotify(XConfigureEvent configEvent)  {    component.setBounds(configEvent.getBounds());        /* FIXME: Validation should probably not be done here.  The best       strategy is probably to validate on the AWT thread in response       to an ComponentEvent.  This will make it possible to coalesce       resize validations. */    component.validate();  }  /* Overridden to ignore request to set bounds if the request occurs     on the X event loop thread.  It is assumed that all requests that     occur on the X event loop thread are results of XConfigureNotify     events, in which case the X window already has the desired     bounds.  */  public void setBounds(int x, int y, int width, int height)  {    if (Thread.currentThread() == getXToolkit().eventLoop.eventLoopThread)      return;        super.setBounds(x, y, width, height);  }   // Implementing ContainerPeer:  static final Insets INSETS_0_PROTOTYPE = new Insets(0, 0, 0, 0);  public Insets getInsets()  {    return (Insets) INSETS_0_PROTOTYPE.clone();  }  public Insets insets ()  {    return getInsets ();  }  public void beginValidate()  {  }  public void endValidate()  {    // reassert sizing hints    Frame frame = (Frame) component;    setResizable(frame.isResizable());  }      // Implementing WindowPeer:  public void toBack()  {    throw new UnsupportedOperationException("not implemented yet");	  }    public void toFront()  {    throw new UnsupportedOperationException("not implemented yet");	  }  // Implementing FramePeer:  public void setIconImage(Image image)  {    throw new UnsupportedOperationException("not implemented yet");	  }    public void setMenuBar(MenuBar mb)  {    throw new UnsupportedOperationException("not implemented yet");	  }  public void setTitle(String title)  {    synchronized (window.getDisplay())      {	// Oh, what a nice implementation :-)	window.setProperty("WM_NAME", "STRING", title);		ensureFlush();      }  }  public void setResizable(boolean resizable)  {    Frame frame = (Frame) component;        WMSizeHints sizeHints = new WMSizeHints();    if (resizable)      {	Dimension minSize = frame.getMinimumSize();	sizeHints.setMinSize(minSize.width, minSize.height);		Dimension maxSize = frame.getMaximumSize();		if ((maxSize.width < Short.MAX_VALUE) ||	    (maxSize.height < Short.MAX_VALUE))	  {	    maxSize.width  = Math.min(maxSize.width,  Short.MAX_VALUE);	    maxSize.height = Math.min(maxSize.height, Short.MAX_VALUE);	    sizeHints.setMaxSize(maxSize.width, maxSize.height);	  }      }    else      {	// lock resizing to current bounds	Dimension size = frame.getSize();	sizeHints.setMinSize(size.width, size.height);	sizeHints.setMaxSize(size.width, size.height);      }    sizeHints.applyNormalHints(window);  }}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -