stef_buwalda/pism
1
0
Fork 0
mirror of https://github.com/2OOP/pism.git synced 2026-02-04 10:54:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/UI' into UI

Browse Source 
# Conflicts:
#	.idea/misc.xml
#	app/src/main/java/org/toop/app/menu/MainMenu.java
#	app/src/main/java/org/toop/app/menu/QuitMenu.java
This commit is contained in:
Ticho Hidding
2025-10-01 15:54:18 +02:00
parent 9e35db4dd4 13bc313c17
commit 9134c7e3e7
65 changed files with 2542 additions and 961 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
.idea/dictionaries/project.xml generated
View File

@@ -2,8 +2,11 @@
<dictionary name="project">
<words>
<w>aosp</w>
<w>clid</w>
<w>dcompile</w>
<w>errorprone</w>
<w>flushnl</w>
<w>gaaf</w>
<w>gamelist</w>
<w>playerlist</w>
<w>tictactoe</w>

8
.idea/inspectionProfiles/Project_Default.xml generated Normal file
View File

@@ -0,0 +1,8 @@
<component name="InspectionProjectProfileManager">
<profile version="1.0">
<option name="myName" value="Project Default" />
<inspection_tool class="AutoCloseableResource" enabled="true" level="WARNING" enabled_by_default="true">
<option name="METHOD_MATCHER_CONFIG" value="java.util.Formatter,format,java.io.Writer,append,com.google.common.base.Preconditions,checkNotNull,org.hibernate.Session,close,java.io.PrintWriter,printf,java.io.PrintStream,printf,java.lang.foreign.Arena,ofAuto,java.lang.foreign.Arena,global,org.toop.framework.audio.AudioPlayer,play" />
</inspection_tool>
</profile>
</component>