GadgetController.java 文件源码

public void redrawGadget() {
    // create the region defining the gadget
    Region region = new Region();

    // set the circle data to the region
    int polygon = profiler.getPolygon();

    region.add(GadgetProfiler.generateCircle(polygon, polygon, polygon));

    // define the shape of the shell
    gadget.getShell().setRegion(region);

    Rectangle size = region.getBounds();
    gadget.getShell().setSize(size.width, size.height);

    // dispose of the region object
    region.dispose();

}