// // time: Wed Nov 19 13:03:42 1997 // // version: 3.1.2 (format), 4.1.1 (DX Beta) // // Message Window: // window: position = (0.5000,0.5000), size = 0.4000x0.4004 // // panel[2]: position = (0.6664,0.1221), size = 0.2672x0.3232, startup = 1, devstyle = 1 // title: value = Control Panel // // workspace: width = 500, height = 500 // layout: snap = 0, width = 50, height = 50, align = NN // // interactor Selector[3]: num_components = 1, value = 3 // selections: maximum = 11, current = 3 // option[0]: name = "where people live", value = 1 // option[1]: name = "population", value = 11 // option[2]: name = "sex", value = 2 // option[3]: name = "age", value = 3 // option[4]: name = "number in household", value = 4 // option[5]: name = "income", value = 5 // option[6]: name = "type of water", value = 6 // option[7]: name = "type of heat", value = 7 // option[8]: name = "housing tenure", value = 8 // option[9]: name = "occupancy status", value = 9 // option[10]: name = "workers", value = 10 // instance: panel = 2, x = 63, y = 11, style = Option Menu, vertical = 1, size = 187x58 // // interactor Selector[2]: num_components = 1, value = 0 // selections: maximum = 3, current = 0 // option[0]: name = "age_under_1", value = 0 // option[1]: name = "age_30_to_34", value = 1 // option[2]: name = "age_over_85", value = 2 // instance: panel = 2, x = 45, y = 98, style = Option Menu, vertical = 1, size = 245x58 // // node Colormap[1]: // input[1]: defaulting = 0, value = { [0.0 0.666667] [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 = 0.0098033035 // input[8]: defaulting = 1, value = 0.017556954 // input[9]: defaulting = 1, value = 20 // input[12]: defaulting = 0, value = { 0.0098033035 0.017556954 } // input[17]: defaulting = 0, value = 0.0098033035 // input[18]: defaulting = 0, value = 0.017556954 // window: position = (0.0000,0.0000), size = 0.5078x0.4395 // // node Image[1]: // depth: value = 8 // window: position = (0.3086,0.4336), size = 0.5906x0.5117 // input[1]: defaulting = 0, value = "Image_1" // input[4]: defaulting = 0, value = 1 // input[5]: defaulting = 0, value = [0.83239 -0.319131 5] // input[6]: defaulting = 0, value = [0.83239 -0.319131 172.179] // input[7]: defaulting = 0, value = 89.5911 // input[8]: defaulting = 0, value = 742 // input[9]: defaulting = 0, value = 0.648 // input[10]: defaulting = 0, value = [0 1 0] // input[11]: defaulting = 1, value = 30.0 // 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 = 1, value = 0 // input[41]: defaulting = 0, value = "rotate" // internal caching: 1