equal
deleted
inserted
replaced
13 int main(int argc, char *argv[]) |
13 int main(int argc, char *argv[]) |
14 { |
14 { |
15 |
15 |
16 //initializing |
16 //initializing |
17 |
17 |
18 // property_strings=new std::string[PROPERTY_NUM]; |
18 property_strings.resize(PROPERTY_NUM); |
19 property_strings[WIDTH]="Width"; |
19 property_strings[WIDTH]="Width"; |
20 property_strings[COLOR]="Color"; |
20 property_strings[COLOR]="Color"; |
21 property_strings[TEXT]="Text"; |
21 property_strings[TEXT]="Text"; |
22 |
22 |
23 //property_defaults=new double[PROPERTY_NUM]; |
23 property_defaults.resize(PROPERTY_NUM); |
24 property_defaults[WIDTH]=10.0; |
24 property_defaults[WIDTH]=10.0; |
25 property_defaults[COLOR]=100; |
25 property_defaults[COLOR]=100; |
26 property_defaults[TEXT]=0; |
26 property_defaults[TEXT]=0; |
27 |
27 |
28 if(argc<2) |
28 if(argc<2) |