displayFreq = source.getFrequency() + " Hz";
&& currentDisplayMode.getHeight() == settings.getHeight()) { if (currentDisplayMode.getBitDepth() == settings.getBitsPerPixel()) { if (currentDisplayMode.getRefreshRate() == settings.getFrequency()) { matchingDisplayMode = currentDisplayMode; } else if (currentDisplayMode.getRefreshRate() == DisplayMode.REFRESH_RATE_UNKNOWN) { if (currentDisplayMode.getRefreshRate() == settings.getFrequency()) { multiBitsDepthSupportedDisplayMode = currentDisplayMode; } else if (currentDisplayMode.getRefreshRate() == DisplayMode.REFRESH_RATE_UNKNOWN) {
screenModes = MonitorModeUtil.filterByResolution(screenModes, dimension); screenModes = MonitorModeUtil.getHighestAvailableBpp(screenModes); if (settings.getFrequency() > 0) { screenModes = MonitorModeUtil.filterByRate(screenModes, settings.getFrequency()); } else { screenModes = MonitorModeUtil.getHighestAvailableRate(screenModes);
}else if (settings.isFullscreen()){ displayMode = getFullscreenDisplayMode(settings.getWidth(), settings.getHeight(), settings.getBitsPerPixel(), settings.getFrequency()); if (displayMode == null) { throw new RuntimeException("Unable to find fullscreen display mode matching settings");
glfwWindowHint(GLFW_SAMPLES, settings.getSamples()); glfwWindowHint(GLFW_STEREO, settings.useStereo3D() ? GLFW_TRUE : GLFW_FALSE); glfwWindowHint(GLFW_REFRESH_RATE, settings.getFrequency());
glfwWindowHint(GLFW_SAMPLES, settings.getSamples()); glfwWindowHint(GLFW_STEREO, settings.useStereo3D() ? GLFW_TRUE : GLFW_FALSE); glfwWindowHint(GLFW_REFRESH_RATE, settings.getFrequency());
MyDisplayMode(AppSettings settings) { height = settings.getHeight(); width = settings.getWidth(); bitDepth = settings.getBitsPerPixel(); refreshRate.add(settings.getFrequency()); }
/** * <code>updateDisplayChoices</code> updates the available color depth and * display frequency options to match the currently selected resolution. */ private void updateDisplayChoices() { if (!fullscreenBox.isSelected()) { // don't run this function when changing windowed settings return; } String resolution = (String) displayResCombo.getSelectedItem(); String colorDepth = (String) colorDepthCombo.getSelectedItem(); if (colorDepth == null) { colorDepth = source.getBitsPerPixel() + " bpp"; } String displayFreq = (String) displayFreqCombo.getSelectedItem(); if (displayFreq == null) { displayFreq = source.getFrequency() + " Hz"; } // grab available depths String[] depths = getDepths(resolution, modes); colorDepthCombo.setModel(new DefaultComboBoxModel(depths)); colorDepthCombo.setSelectedItem(colorDepth); // grab available frequencies String[] freqs = getFrequencies(resolution, modes); displayFreqCombo.setModel(new DefaultComboBoxModel(freqs)); // Try to reset freq displayFreqCombo.setSelectedItem(displayFreq); }
displayFreq = source.getFrequency() + " Hz";
private Settings(final AppSettings settings) { // Init the settings this.settings = settings; //Default resolution if (!this.settings.containsKey("Width") || !this.settings.containsKey("Height")) { this.settings.setResolution(800, 600); // Default resolution } File settingsFile = new File(USER_SETTINGS_FILE); if (settingsFile.exists()) { try (InputStream is = new FileInputStream(settingsFile)) { this.settings.load(is); } catch (IOException ex) { LOGGER.log(java.util.logging.Level.WARNING, "Settings file failed to load from " + settingsFile + "!", ex); } } this.settings.setFrameRate(Math.max(MAX_FPS, settings.getFrequency())); // Assing some app level settings settings.setTitle(TITLE); settings.setIcons(getApplicationIcons()); }
&& currentDisplayMode.getHeight() == settings.getHeight()) { if (currentDisplayMode.getBitDepth() == settings.getBitsPerPixel()) { if (currentDisplayMode.getRefreshRate() == settings.getFrequency()) { matchingDisplayMode = currentDisplayMode; } else if (currentDisplayMode.getRefreshRate() == DisplayMode.REFRESH_RATE_UNKNOWN) { if (currentDisplayMode.getRefreshRate() == settings.getFrequency()) { multiBitsDepthSupportedDisplayMode = currentDisplayMode; } else if (currentDisplayMode.getRefreshRate() == DisplayMode.REFRESH_RATE_UNKNOWN) {
screenModes = MonitorModeUtil.filterByResolution(screenModes, dimension); screenModes = MonitorModeUtil.getHighestAvailableBpp(screenModes); if (settings.getFrequency() > 0) { screenModes = MonitorModeUtil.filterByRate(screenModes, settings.getFrequency()); } else { screenModes = MonitorModeUtil.getHighestAvailableRate(screenModes);
if (index >= 0) { refresh.addAllItems(resolutions.get(index).refreshRate); refresh.selectItem(settings.getFrequency()); } else { refresh.addItem(mdm.refreshRate.get(0));
}else if (settings.isFullscreen()){ displayMode = getFullscreenDisplayMode(settings.getWidth(), settings.getHeight(), settings.getBitsPerPixel(), settings.getFrequency()); if (displayMode == null) { throw new RuntimeException("Unable to find fullscreen display mode matching settings");
glfwWindowHint(GLFW_SAMPLES, settings.getSamples()); glfwWindowHint(GLFW_STEREO, settings.useStereo3D() ? GLFW_TRUE : GLFW_FALSE); glfwWindowHint(GLFW_REFRESH_RATE, settings.getFrequency());