* Initializes the feature display window if it is not already * initialized. */
| 1909 | * initialized. |
| 1910 | */ |
| 1911 | void InitFeatureDisplayWindowIfReqd() { |
| 1912 | if (FeatureDisplayWindow == NULL) { |
| 1913 | FeatureDisplayWindow = CreateFeatureSpaceWindow("FeatureDisplayWindow", |
| 1914 | 50, 700); |
| 1915 | } |
| 1916 | } |
| 1917 | |
| 1918 | /// Creates a window of the appropriate size for displaying elements |
| 1919 | /// in feature space. |
no test coverage detected