Example #1
0
 def __init__(self):
     GllLensConfig.__init__(self, ll.polygonal_lenses)
     self.config_widget = GllConfigBox(
         [("num_stars", "Number of stars", (5, 0, 1000, 1), 0),
          ("total_mass", "Total mass", (1.0, 0.0, 1e10, 0.05), 2),
          ("angle", "Rotation angle", (0.0, -100.0, 100.0, 0.01), 4),
          ("region_radius", "Region radius", (1.5, 0.0, 1000.0, 0.1), 2)])
     self.config_widget.declare_record("region")
Example #2
0
 def __init__(self):
     GllLensConfig.__init__(self, ll.globular_cluster)
     self.config_widget = GllConfigBox(
         [("num_stars", "Number of stars", (1000, 0, 100000, 1), 0),
          ("random_seed", "Random seed", (42, -1000000, 1000000, 1), 0),
          ("total_mass", "Total mass", (1.0, 0.0, 1e10, 0.05), 2),
          ("log_mass_stddev", "Log(mass) std dev", (0.0, 0.0, 10.0, 0.05), 2),
          ("angle", "Rotation angle", (0.0, -100.0, 100.0, 0.01), 4),
          ("region_radius", "Region radius", (1.0, 0.0, 1000.0, 0.1), 2)])
     self.config_widget.declare_record("region")
Example #3
0
 def __init__(self):
     super(GllLightCurve, self).__init__(ll.light_curve)
     self.main_widget = gtk.DrawingArea()
     self.main_widget.set_size_request(400, 300)
     self.main_widget.show()
     self.main_widget.connect("expose-event", self.draw)
     self.config_widget = GllConfigBox()
     self.config_widget.add_toggle_group(
         "export_max", "Set upper magnification", False,
         ("curve_max_mag", "Upper magnification",
          (10.0, 0.0, 1e10, 1.0), 1))
     self.points = []
Example #4
0
 def __init__(self):
     super(GllSourceProfile, self).__init__(ll.source_profile)
     self.main_widget = GllImageView(self.get_pixbuf)
     self.config_widget = GllConfigBox()
     self.config_widget.add_radio_buttons("profile_type",
                                          "Source profile type", "flat",
                                          [("Flat", "flat"),
                                           ("Gaussian", "gaussian")])
     show_profile = GllConfigCheckButton("Show profile")
     show_profile.set_active(True)
     self.config_widget.add_items([("source_radius", "Source radius",
                                    (0.01, 0.0, 1e10, 0.001), 4),
                                   ("export_kernel", show_profile)])
Example #5
0
 def __init__(self):
     super(GllSourcePath, self).__init__()
     self.main_widget = GllImageView(self.get_pixbuf)
     self.tool = ImageToolSourcePath()
     self.main_widget.imageview.set_tool(self.tool)
     self.config_widget = GllConfigBox([
         ("curve_x0", "Start x coordinate", (-1.0, -1e10, 1e10, 0.01), 4),
         ("curve_y0", "Start y coordinate", (0.0, -1e10, 1e10, 0.01), 4),
         ("curve_x1", "End x coordinate", (1.0, -1e10, 1e10, 0.01), 4),
         ("curve_y1", "End y coordinate", (0.0, -1e10, 1e10, 0.01), 4),
         ("curve_samples", "Number of samples", (256, 0, 1000000, 16), 0)
     ])
     for key in ["curve_x0", "curve_y0", "curve_x1", "curve_y1"]:
         self.config_widget[key].adjustment.connect("value_changed",
                                                    self.coords_changed)
Example #6
0
 def __init__(self):
     GllLensConfig.__init__(self)
     self.builder = gtk.Builder()
     self.builder.add_from_file("glllenses.glade")
     self.builder.connect_signals(self)
     self.lens_list = self.builder.get_object("lens_list")
     self.lens_selection = self.builder.get_object("treeview").get_selection()
     self.lens_selection.set_mode(gtk.SELECTION_MULTIPLE)
     self.config_widget = GllConfigBox()
     self.config_widget.add_toggle_group(
         "export_region", "Magnification pattern region", True,
         [("region_x0", "Left coordinate",  (-1.0, -1e10, 1e10, 0.01), 4),
          ("region_y0", "Lower coordinate", (-1.0, -1e10, 1e10, 0.01), 4),
          ("region_x1", "Right coordinate", ( 1.0, -1e10, 1e10, 0.01), 4),
          ("region_y1", "Upper coordinate", ( 1.0, -1e10, 1e10, 0.01), 4)])
     self.config_widget.add(self.builder.get_object("lens_box"))
     self.config_widget.declare_record("region", "export_region")