Auto-commit after successful build: update app gameplay/UI, improve build setup

Changed files:\napp/build.gradle.kts
app/src/main/java/com/kawomi/githugandroid/PaneLayoutModels.kt
app/src/main/java/com/kawomi/githugandroid/Terminal.kt
This commit is contained in:
Joe Tretter
2026-04-23 21:34:56 -05:00
parent 9ccfeffe5c
commit ccb46bd904
3 changed files with 5 additions and 5 deletions

View File

@@ -11,8 +11,8 @@ android {
applicationId = "com.kawomi.githugandroid"
minSdk = 26
targetSdk = 34
versionCode = 42
versionName = "0.1.41"
versionCode = 43
versionName = "0.1.42"
testInstrumentationRunner = "androidx.test.runner.AndroidJUnitRunner"
vectorDrawables.useSupportLibrary = true

View File

@@ -22,7 +22,7 @@ fun defaultPaneLayout(): PaneLayout = PaneLayout(
order = listOf(PaneId.EXERCISE, PaneId.TERMINAL, PaneId.VISUAL, PaneId.LEVELS),
collapsed = emptySet(),
weights = mapOf(
PaneId.EXERCISE to 0.95f,
PaneId.EXERCISE to 1f,
PaneId.TERMINAL to 1.45f,
PaneId.VISUAL to 1.0f,
PaneId.LEVELS to 0.8f,

View File

@@ -120,7 +120,7 @@ fun TerminalPane(
) {
Box(
modifier = Modifier
.heightIn(min = 200.dp, max = maxOutputHeight)
.heightIn(min = maxOutputHeight, max = maxOutputHeight)
.height(desiredOutputHeight)
.fillMaxWidth()
.background(PanelPrimary, RoundedCornerShape(10.dp))
@@ -257,11 +257,11 @@ private fun SpecialKeyBar(
horizontalArrangement = Arrangement.spacedBy(6.dp),
) {
TerminalKeyButton(label = "", onClick = onTab, modifier = Modifier.width(56.dp), fontFamily = FontFamily.Default)
TerminalKeyButton(label = "?", onClick = onHelp, modifier = Modifier.width(40.dp), fontFamily = FontFamily.Default)
TerminalKeyButton(label = "", onClick = onCursorLeft, modifier = Modifier.width(40.dp))
TerminalKeyButton(label = "", onClick = onCursorRight, modifier = Modifier.width(40.dp))
TerminalKeyButton(label = "", onClick = onHistoryUp, modifier = Modifier.width(40.dp))
TerminalKeyButton(label = "", onClick = onHistoryDown, modifier = Modifier.width(40.dp))
TerminalKeyButton(label = "?", onClick = onHelp, modifier = Modifier.width(40.dp), fontFamily = FontFamily.Default)
}
}