!7

sclass DedicateCores > DynModule {
  int cores;
  
  visualize {
    final JSpinner spinner = jSpinner(cores, 0, numberOfCores());
    main.onChange(spinner, r { setField(cores := intFromSpinner(spinner)) });
    ret jfullcenter(withLabel("Cores to use:", spinner));
  }
}