// // time: Wed Apr 9 15:31:59 1997 // // version: 3.1.1 (format), 3.1.4 (DX Beta) // // Message Window: // window: position = (0.5,0.5), size = 0.4x0.4 // // panel[0]: position = (0.6922,0.3799), size = 0.1820x0.1514, startup = 0, devstyle = 0 // title: value = RubberSheet Control Panel // // // decorator Label pos=(21,15) size=212x28 style(Label), font=big_normal, value = // annotation user_begin: 23 // annotation user: Control for RubberSheet // annotation user_end: // workspace: width = 500, height = 500 // layout: snap = 0, width = 50, height = 50, align = UL // // panel[1]: position = (0.6820,0.3789), size = 0.1820x0.1494, startup = 1, devstyle = 0 // title: value = Contours Control Panel // // // decorator Label pos=(14,16) size=219x28 style(Label), font=big_normal, value = // annotation user_begin: 25 // annotation user: Control for Contour Lines // annotation user_end: // resource *decorator.foreground:#4d00e6 // workspace: width = 500, height = 500 // layout: snap = 0, width = 50, height = 50, align = UL // // panel[2]: position = (0.6828,0.1113), size = 0.2852x0.2139, startup = 1, devstyle = 0 // title: value = Control Panel // // // decorator Separator pos=(0,68) size=365x8 style(Separator) // // decorator Label pos=(55,20) size=217x35 style(Label), font=huge_normal, value = // annotation user_begin: 18 // annotation user: Realization Method // annotation user_end: // workspace: width = 500, height = 500 // layout: snap = 0, width = 50, height = 50, align = UL // // interactor Scalar[1]: num_components = 1, value = 0.0006 // component[0]: minimum = 0, maximum = 0.005, global increment = 0.0001, decimal = 5, global continuous = 0 // instance: panel = 0, x = 47, y = 59, style = Stepper, vertical = 1, size = 154x56 // local continuous: value = 0, mode = global // local increment[0]: value = 1, mode = global // // node Colormap[1]: // input[1]: defaulting = 0, value = { [0.0 0.666667] [0.92948718 0.57894737] [0.93276884 0.18947368] [1.0 0.0] } // input[2]: defaulting = 0, value = { [0.0 1.0] [1.0 1.0] } // input[3]: defaulting = 0, value = { [0.0 1.0] [1.0 1.0] } // input[4]: defaulting = 0, value = { [0.0 1.0] [1.0 1.0] } // input[5]: defaulting = 0, value = "Colormap_1" // input[7]: defaulting = 1, value = -5498.0 // input[8]: defaulting = 1, value = 407.0 // input[9]: defaulting = 1, value = 20 // input[12]: defaulting = 0, value = { -5498.0 407.0 } // input[17]: defaulting = 0, value = -5498.0 // input[18]: defaulting = 0, value = 407.0 // window: position = (0.1445,0.5049), size = 0.5078x0.4395 // // interactor Selector[1]: num_components = 1, value = 1 // selections: maximum = 2, current = 0 // option[0]: name = "contour lines", value = 1 // option[1]: name = "rubbersheet", value = 2 // instance: panel = 2, x = 84, y = 94, style = Radio Button, vertical = 1, size = 131x85 // // interactor Integer[1]: num_components = 1, value = 5 // component[0]: minimum = 1, maximum = 30, global increment = 1, decimal = 0, global continuous = 0 // instance: panel = 1, x = 28, y = 57, style = Stepper, vertical = 1, size = 176x56 // label: value = number of contour lines // local continuous: value = 0, mode = global // local increment[0]: value = 1, mode = global // // node Image[3]: // depth: value = 24 // window: position = (0.2406,0.0303), size = 0.4148x0.4111 // input[1]: defaulting = 0, value = "Image_3" // input[4]: defaulting = 0, value = 1 // input[5]: defaulting = 0, value = [275 29.1667 -1.5273] // input[6]: defaulting = 0, value = [275 29.1667 66.718] // input[7]: defaulting = 0, value = 36.5727 // input[8]: defaulting = 0, value = 517 // input[9]: defaulting = 0, value = 0.73 // input[10]: defaulting = 0, value = [0 1 0] // input[11]: defaulting = 1, value = 30.0001 // input[12]: defaulting = 0, value = 0 // input[14]: defaulting = 0, value = 1 // input[15]: defaulting = 1, value = "none" // input[16]: defaulting = 1, value = "none" // input[17]: defaulting = 1, value = 1 // input[18]: defaulting = 1, value = 1 // input[19]: defaulting = 0, value = 0 // input[29]: defaulting = 0, value = 0 // internal caching: 1