Skip to content
This repository has been archived by the owner on Apr 16, 2023. It is now read-only.

Commit

Permalink
Fix formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
chrislo27 committed Dec 22, 2017
1 parent de3e810 commit 31d5b65
Showing 1 changed file with 11 additions and 12 deletions.
23 changes: 11 additions & 12 deletions core/src/main/kotlin/io/github/chrislo27/rhre3/RHRE3Application.kt
Original file line number Diff line number Diff line change
Expand Up @@ -130,17 +130,15 @@ class RHRE3Application(logger: Logger, logToFile: Boolean)
run {
fonts[defaultFontLargeKey] = createDefaultLargeFont()
fonts[defaultBorderedFontLargeKey] = createDefaultLargeBorderedFont()
fonts[timeSignatureFontKey] = FreeTypeFont(fontFileHandle, emulatedSize,
createDefaultTTFParameter().apply {
size *= 6
characters = "0123456789"
incremental = false
})
.setAfterLoad {
this.font!!.apply {
setFixedWidthGlyphs("0123456789")
}
}
fonts[timeSignatureFontKey] = FreeTypeFont(fontFileHandle, emulatedSize, createDefaultTTFParameter().apply {
size *= 6
characters = "0123456789"
incremental = false
}).setAfterLoad {
this.font!!.apply {
setFixedWidthGlyphs("0123456789")
}
}
fonts.loadUnloaded(defaultCamera.viewportWidth, defaultCamera.viewportHeight)
}

Expand Down Expand Up @@ -280,7 +278,8 @@ class RHRE3Application(logger: Logger, logToFile: Boolean)
if (isFullscreen) {
preferences.putString(PreferenceKeys.WINDOW_STATE, "fs")
} else {
preferences.putString(PreferenceKeys.WINDOW_STATE, "${(Gdx.graphics.width / Display.getPixelScaleFactor()).toInt()}x${(Gdx.graphics.height / Display.getPixelScaleFactor()).toInt()}")
preferences.putString(PreferenceKeys.WINDOW_STATE,
"${(Gdx.graphics.width / Display.getPixelScaleFactor()).toInt()}x${(Gdx.graphics.height / Display.getPixelScaleFactor()).toInt()}")
}

Toolboks.LOGGER.info("Persisting window settings as ${preferences.getString(PreferenceKeys.WINDOW_STATE)}")
Expand Down

0 comments on commit 31d5b65

Please sign in to comment.