/**
* Display profile on window.
*
* @param p profile reference
*/
private void showProfile(Profile p) {
fullscreen_checkbox.setSelected(p.isFullscreen());
vsync_checkbox.setSelected(p.isVsync());
sound_checkbox.setSelected(p.isSound());
music_checkbox.setSelected(p.isMusic());
sound_slider.setValue((double) p.getSoundVolume());
music_slider.setValue((double) p.getMusicVolume());
sizex_field.setText(String.valueOf(p.getSizex()));
sizey_field.setText(String.valueOf(p.getSizey()));
user_combobox.setValue(p);
resolution_combobox.setValue(findResolutionString(p.getResx(), p.getResy()));
}
