mirror of
https://github.com/jrpie/Launcher.git
synced 2025-02-23 06:21:31 +01:00
Josia Pietsch
99acdba262
Color theme, font, background and monochrome icons can now be set independently.
23 lines
No EOL
1,010 B
XML
23 lines
No EOL
1,010 B
XML
<project version="4">
|
|
<component name="DesignSurface">
|
|
<option name="filePathToZoomLevelMap">
|
|
<map>
|
|
<entry key="app/src/main/res/layout/list.xml" value="0.21331521739130435" />
|
|
<entry key="app/src/main/res/layout/list_apps.xml" value="0.1757852077001013" />
|
|
<entry key="app/src/main/res/layout/settings.xml" value="0.21331521739130435" />
|
|
</map>
|
|
</option>
|
|
</component>
|
|
<component name="EntryPointsManager">
|
|
<list size="1">
|
|
<item index="0" class="java.lang.String" itemvalue="eu.jonahbauer.android.preference.annotations.Preferences" />
|
|
</list>
|
|
</component>
|
|
<component name="ExternalStorageConfigurationManager" enabled="true" />
|
|
<component name="ProjectRootManager" version="2" languageLevel="JDK_17" default="true" project-jdk-name="jbr-17" project-jdk-type="JavaSDK">
|
|
<output url="file://$PROJECT_DIR$/build/classes" />
|
|
</component>
|
|
<component name="ProjectType">
|
|
<option name="id" value="Android" />
|
|
</component>
|
|
</project> |