// // time: Wed Apr 9 15:37:33 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.6859,0.2129), size = 0.2484x0.1719, startup = 1, devstyle = 1 // title: value = RubberSheet Control Panel // // workspace: width = 500, height = 500 // layout: snap = 0, width = 50, height = 50, align = UL // // panel[1]: position = (0.6844,0.2139), size = 0.2500x0.1758, startup = 1, devstyle = 1 // title: value = Contours Control Panel // // workspace: width = 500, height = 500 // layout: snap = 0, width = 50, height = 50, align = UL // // panel[2]: position = (0.6828,0.0029), size = 0.2516x0.1836, startup = 1, devstyle = 1 // title: value = Control Panel // // 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 = 75, y = 15, style = Stepper, vertical = 1, size = 154x62 // 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.3242,0.4854), 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 = 79, y = 19, style = Radio Button, vertical = 1, size = 131x79 // // 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 = 78, y = 13, 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[19]: defaulting = 0, value = 0 // input[29]: defaulting = 0, value = 0 // internal caching: 1