peet/Gruppe-02-clone
1
0
Fork 0
mirror of https://athene2.informatik.unibw-muenchen.de/progproj/gruppen-ht24/Gruppe-02.git synced 2024-11-25 03:29:44 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

SettingsMenu angepasst

Browse Source
This commit is contained in:
Yvonne Schmidt 2024-11-18 23:04:09 +01:00
parent 9c0172b413
commit 8e01fa3192
2 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Projekte/jme-common/src/main/resources/Interface/Lemur/pp-styles.groovy
View File

@ -208,6 +208,7 @@ selector("slider.down.button", "pp") {
selector("checkbox", "pp") { selector("checkbox", "pp") {
color = buttonEnabledColor color = buttonEnabledColor
fontSize = 20
} }
selector("rollup", "pp") { selector("rollup", "pp") {
@ -231,3 +232,7 @@ selector("tab.button", "pp") {
buttonCommands = stdButtonCommands buttonCommands = stdButtonCommands
} }
selector("settings-title", "pp") {
fontSize = 48 // Set font size
background = new QuadBackgroundComponent(color(0.4157f, 0.4235f, 0.4392f, 1.0f)) // Grey background
}

4
Projekte/monopoly/client/src/main/java/pp/monopoly/client/gui/SettingsMenu.java
View File

@ -44,13 +44,13 @@ public class SettingsMenu extends Dialog {
Container effectSoundContainer = settingsContainer.addChild(new Container()); Container effectSoundContainer = settingsContainer.addChild(new Container());
effectSoundContainer.addChild(new Label("Effekt Sound", new ElementId("label"))); effectSoundContainer.addChild(new Label("Effekt Sound", new ElementId("label")));
effectSoundContainer.addChild(new Slider()); effectSoundContainer.addChild(new Slider());
effectSoundContainer.addChild(new Checkbox("Aktivieren")).setChecked(true); effectSoundContainer.addChild(new Checkbox("Soundeffekte an")).setChecked(true);
// Hintergrundmusik: Slider und Checkbox // Hintergrundmusik: Slider und Checkbox
Container backgroundMusicContainer = settingsContainer.addChild(new Container()); Container backgroundMusicContainer = settingsContainer.addChild(new Container());
backgroundMusicContainer.addChild(new Label("Hintergrund Musik", new ElementId("label"))); backgroundMusicContainer.addChild(new Label("Hintergrund Musik", new ElementId("label")));
backgroundMusicContainer.addChild(new Slider()); backgroundMusicContainer.addChild(new Slider());
backgroundMusicContainer.addChild(new Checkbox("Aktivieren")).setChecked(true); backgroundMusicContainer.addChild(new Checkbox("Musik an")).setChecked(true);
// Beenden-Button // Beenden-Button
Button quitButton = settingsContainer.addChild(new Button("Beenden", new ElementId("menu-button"))); Button quitButton = settingsContainer.addChild(new Button("Beenden", new ElementId("menu-button")));