
scalismo.ui.settings.GlobalSettings.scala Maven / Gradle / Ivy
/*
* Copyright (C) 2016 University of Basel, Graphics and Vision Research Group
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see .
*/
package scalismo.ui.settings
object GlobalSettingsFile extends SettingsFile(SettingsDirectory.get().get, "global.ini")
object GlobalSettings extends PersistentSettings(GlobalSettingsFile) {
/**
* Setting Keys used by the UI itself.
*/
object Keys {
val HighDpiScale = "common.highdpi.scale"
val WindowHeight = "common.windowHeight"
val WindowWidth = "common.windowWidth"
val WindowMaximized = "common.windowMaximized"
val PerspectiveName = "common.perspective"
val SlicingPositionShow = "common.slicingposition.show"
val LastUsedDirectories = "common.lastUsedDirectories"
// final val TwoDClickSnapThreshold = "common.2dclick.snapthreshold"
// final val TwoDClickHighlight = "common.2dclick.highlight"
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy