304
308
this.indicatorpreferences.itemhelp_show.connect(this.itemhelp.show);
306
310
this.preferences = new Preferences(this.colormapper);
307
312
this.preferences.menupreferences_show.connect(this.menupreferences.show);
308
313
this.preferences.indicatorpreferences_show.connect(this.indicatorpreferences.show);