implement settings screen

app/src/main/java/org/cosmicide/rewrite/App.kt

@@ -15,6 +15,7 @@ import kotlinx.coroutines.Dispatchers
 import kotlinx.coroutines.SupervisorJob
 import kotlinx.coroutines.launch
 import kotlinx.coroutines.withContext
+import org.cosmicide.rewrite.common.Prefs
 import org.cosmicide.rewrite.util.FileUtil
 import org.eclipse.tm4e.core.registry.IThemeSource
 import java.io.File
@@ -30,6 +31,7 @@ class App : Application() {
         super.onCreate()
         DynamicColors.applyToActivitiesIfAvailable(this)
         FileUtil.init(this)
+        Prefs.init(applicationContext)
         indexFile = File(FileUtil.dataDir, INDEX_FILE_NAME)
         scope.launch {
             try {

app/src/main/java/org/cosmicide/rewrite/extension/editor.kt

@@ -23,6 +23,6 @@ fun CodeEditor.setLanguageTheme(language: EditorLanguage) {
  * Sets the font and enables highlighting of the current line for the code editor.
  */
 fun CodeEditor.setFont() {
-    typefaceText = ResourcesCompat.getCachedFont(context, R.font.noto_sans_mono)
+    typefaceText = ResourcesCompat.getFont(context, R.font.noto_sans_mono)
     isHighlightCurrentLine = true
 }

app/src/main/java/org/cosmicide/rewrite/fragment/CompileInfoFragment.kt

@@ -13,6 +13,7 @@ import org.cosmicide.build.BuildReporter
 import org.cosmicide.project.Project
 import org.cosmicide.rewrite.R
 import org.cosmicide.rewrite.common.BaseBindingFragment
+import org.cosmicide.rewrite.common.Prefs
 import org.cosmicide.rewrite.compile.Compiler
 import org.cosmicide.rewrite.databinding.FragmentCompileInfoBinding
 import org.cosmicide.rewrite.extension.setFont
@@ -49,7 +50,7 @@ class CompileInfoFragment : BaseBindingFragment<FragmentCompileInfoBinding>() {
             colorScheme = TextMateColorScheme.create(ThemeRegistry.getInstance())
             setEditorLanguage(TextMateLanguage.create("source.build", true))
             editable = false
-            setTextSize(16f)
+            setTextSize(Prefs.editorFontSize)
             isLineNumberEnabled = false
             isWordwrap = true
             invalidate()

app/src/main/java/org/cosmicide/rewrite/fragment/EditorFragment.kt

@@ -16,6 +16,7 @@ import kotlinx.coroutines.launch
 import org.cosmicide.project.Project
 import org.cosmicide.rewrite.R
 import org.cosmicide.rewrite.common.BaseBindingFragment
+import org.cosmicide.rewrite.common.Prefs
 import org.cosmicide.rewrite.databinding.FragmentEditorBinding
 import org.cosmicide.rewrite.editor.JavaLanguage
 import org.cosmicide.rewrite.editor.KotlinLanguage
@@ -121,7 +122,7 @@ class EditorFragment : BaseBindingFragment<FragmentEditorBinding>() {
             }
         }
 
-        binding.editor.setTextSize(20f)
+        binding.editor.setTextSize(Prefs.editorFontSize)
     }
 
     private fun setEditorLanguage() {
@@ -159,6 +160,10 @@ class EditorFragment : BaseBindingFragment<FragmentEditorBinding>() {
                         navigateToCompileInfoFragment()
                         true
                     }
+                    R.id.action_settings -> {
+                        navigateToSettingsFragment()
+                        true
+                    }
 
                     else -> false
                 }
@@ -173,6 +178,13 @@ class EditorFragment : BaseBindingFragment<FragmentEditorBinding>() {
             .commit()
     }
 
+    private fun navigateToSettingsFragment() {
+        parentFragmentManager.beginTransaction()
+            .replace(R.id.fragment_container, SettingsFragment())
+            .addToBackStack(null)
+            .commit()
+    }
+
     private fun transverseTree(dir: File) : Set<FileSet>{
         val set = mutableSetOf<FileSet>()
         for (file in dir.listFiles()) {

app/src/main/java/org/cosmicide/rewrite/fragment/PreferencesFragment.kt

@@ -0,0 +1,32 @@
+package org.cosmicide.rewrite.fragment
+
+import android.os.Bundle
+import android.view.LayoutInflater
+import android.view.View
+import android.view.ViewGroup
+import android.view.animation.AnimationUtils
+import androidx.preference.Preference
+import androidx.preference.PreferenceFragmentCompat
+import androidx.recyclerview.widget.RecyclerView
+import org.cosmicide.rewrite.R
+import org.cosmicide.rewrite.BuildConfig
+
+/**
+ * A [PreferenceFragmentCompat] subclass to display the preferences UI.
+ */
+class PreferencesFragment : PreferenceFragmentCompat() {
+
+    override fun onCreatePreferences(savedInstanceState: Bundle?, rootKey: String?) {
+        setPreferencesFromResource(R.xml.settings, rootKey)
+
+        findPreference<Preference>("version")?.run {
+            summary = BuildConfig.VERSION_NAME
+        }
+    }
+
+    override fun onCreateRecyclerView(inflater: LayoutInflater, parent: ViewGroup, savedInstanceState: Bundle?): RecyclerView {
+        val recyclerView = super.onCreateRecyclerView(inflater, parent, savedInstanceState)
+        recyclerView.layoutAnimation = AnimationUtils.loadLayoutAnimation(requireContext(), R.anim.preference_layout_fall_down)
+        return recyclerView
+    }
+}

app/src/main/java/org/cosmicide/rewrite/fragment/ProjectOutputFragment.kt

@@ -16,6 +16,7 @@ import kotlinx.coroutines.launch
 import org.cosmicide.project.Project
 import org.cosmicide.rewrite.R
 import org.cosmicide.rewrite.common.BaseBindingFragment
+import org.cosmicide.rewrite.common.Prefs
 import org.cosmicide.rewrite.databinding.FragmentCompileInfoBinding
 import org.cosmicide.rewrite.extension.setFont
 import org.cosmicide.rewrite.util.ProjectHandler
@@ -67,7 +68,7 @@ class ProjectOutputFragment : BaseBindingFragment<FragmentCompileInfoBinding>()
             setEditorLanguage(TextMateLanguage.create("source.build", false))
             editable = false
             isWordwrap = true
-            setTextSize(14f)
+            setTextSize(Prefs.editorFontSize)
             setFont()
             invalidate()
         }

app/src/main/java/org/cosmicide/rewrite/fragment/SettingsFragment.kt

@@ -0,0 +1,18 @@
+package org.cosmicide.rewrite.fragment
+
+import android.os.Bundle
+import android.view.View
+import org.cosmicide.rewrite.common.BaseBindingFragment
+import org.cosmicide.rewrite.databinding.FragmentSettingsBinding
+
+/**
+ * Fragment for displaying settings screen.
+ */
+class SettingsFragment : BaseBindingFragment<FragmentSettingsBinding>() {
+
+    override fun getViewBinding() = FragmentSettingsBinding.inflate(layoutInflater)
+
+    override fun onViewCreated(view: View, savedInstanceState: Bundle?) {
+        super.onViewCreated(view, savedInstanceState)
+    }
+}

app/src/main/res/anim/preference_item_fall_down.xml

@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="utf-8"?>
+<set xmlns:android="http://schemas.android.com/apk/res/android"
+    android:duration="300">
+
+    <translate
+        android:fromYDelta="15%"
+        android:interpolator="@android:interpolator/linear_out_slow_in"
+        android:toYDelta="0" />
+
+    <alpha
+        android:fromAlpha="0"
+        android:interpolator="@android:interpolator/linear_out_slow_in"
+        android:toAlpha="1" />
+
+</set>

app/src/main/res/anim/preference_layout_fall_down.xml

@@ -0,0 +1,5 @@
+<?xml version="1.0" encoding="utf-8"?>
+<layoutAnimation xmlns:android="http://schemas.android.com/apk/res/android"
+    android:animation="@anim/preference_item_fall_down"
+    android:animationOrder="normal"
+    android:delay="5%" />

app/src/main/res/layout/fragment_settings.xml

@@ -0,0 +1,30 @@
+<androidx.coordinatorlayout.widget.CoordinatorLayout xmlns:android="http://schemas.android.com/apk/res/android"
+    xmlns:app="http://schemas.android.com/apk/res-auto"
+    xmlns:tools="http://schemas.android.com/tools"
+    android:layout_width="match_parent"
+    android:layout_height="match_parent"
+    android:transitionGroup="true"
+    tools:context=".fragment.SettingsFragment">
+
+    <com.google.android.material.appbar.AppBarLayout
+        android:layout_width="match_parent"
+        android:layout_height="wrap_content">
+
+        <com.google.android.material.appbar.MaterialToolbar
+            android:id="@+id/toolbar"
+            android:layout_width="match_parent"
+            android:layout_height="?attr/actionBarSize"
+            app:navigationIcon="@drawable/baseline_arrow_back_ios_24"
+            app:title="Settings" />
+
+    </com.google.android.material.appbar.AppBarLayout>
+
+    <androidx.fragment.app.FragmentContainerView
+        android:id="@+id/settings_container"
+        android:layout_width="match_parent"
+        android:layout_height="match_parent"
+        android:name="org.cosmicide.rewrite.fragment.PreferencesFragment"
+        android:transitionGroup="true"
+        app:layout_behavior="@string/appbar_scrolling_view_behavior" />
+
+</androidx.coordinatorlayout.widget.CoordinatorLayout>

app/src/main/res/values-sw360dp/config.xml

@@ -0,0 +1,4 @@
+<?xml version="1.0" encoding="utf-8"?>
+<resources>
+    <bool name="config_materialPreferenceIconSpaceReserved">false</bool>
+</resources>

app/src/main/res/values/arrays.xml

@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="utf-8"?>
+<resources>
+    <string-array name="java_version_entries">
+        <item>8</item>
+        <item>11</item>
+        <item>17</item>
+    </string-array>
+</resources>

app/src/main/res/values/themes.xml

@@ -7,5 +7,6 @@
     <style name="Theme.CosmicIDERewrite" parent="Base.Theme.CosmicIDERewrite">
         <item name="android:enforceNavigationBarContrast">false</item>
         <item name="android:fontFamily">@font/inter</item>
+        <item name="fontFamily">@font/inter</item>
     </style>
 </resources>

app/src/main/res/xml/settings.xml

@@ -0,0 +1,46 @@
+<?xml version="1.0" encoding="utf-8"?>
+<PreferenceScreen xmlns:android="http://schemas.android.com/apk/res/android"
+    xmlns:app="http://schemas.android.com/apk/res-auto">
+
+    <PreferenceCategory
+        android:title="Editor">
+
+        <SeekBarPreference
+            android:key="font_size"
+            android:title="Font Size"
+            android:summary="Set the font size for the editor"
+            android:defaultValue="14"
+            android:min="12"
+            android:max="22" />
+
+    </PreferenceCategory>
+
+    <PreferenceCategory
+        android:title="Compiler">
+
+        <SwitchPreference
+            android:key="use_fastjarfs"
+            android:title="Use fast implementation for Jar FS"
+            android:summary="This experimental mode may speed up compilation time, but use with caution"
+            android:defaultValue="false" />
+
+        <ListPreference
+            android:key="java_version"
+            android:title="Java Version"
+            android:summary="Select the version of Java to use for compilation"
+            android:entries="@array/java_version_entries"
+            android:entryValues="@array/java_version_entries"
+            android:defaultValue="17" />
+
+    </PreferenceCategory>
+
+    <PreferenceCategory
+        android:title="About">
+
+        <Preference
+            android:key="version"
+            android:title="Version" />
+
+    </PreferenceCategory>
+
+</PreferenceScreen>

build-tools/build.gradle.kts

@@ -30,6 +30,7 @@ android {
 
 
 dependencies {
+    implementation(projects.common)
     implementation(projects.project)
     implementation(projects.util)
     implementation(projects.kotlinc)

build-tools/src/main/java/org/cosmicide/build/java/JavaCompileTask.kt

@@ -4,6 +4,7 @@ import com.sun.tools.javac.api.JavacTool
 import org.cosmicide.build.BuildReporter
 import org.cosmicide.build.Task
 import org.cosmicide.project.Project
+import org.cosmicide.rewrite.common.Prefs
 import org.cosmicide.rewrite.util.FileUtil
 import java.io.File
 import java.io.Writer
@@ -34,7 +35,7 @@ class JavaCompileTask(val project: Project) : Task {
 
     override fun execute(reporter: BuildReporter) {
         val output = File(project.binDir, "classes")
-        val version = "17"
+        val version = Prefs.compilerJavaVersion.toString()
 
         try {
             Files.createDirectories(output.toPath())
@@ -61,7 +62,6 @@ class JavaCompileTask(val project: Project) : Task {
             return
         }
 
-
         fileManager.use { fm ->
             fm.setLocation(StandardLocation.CLASS_OUTPUT, listOf(output))
             fm.setLocation(StandardLocation.PLATFORM_CLASS_PATH, getSystemClasspath())

build-tools/src/main/java/org/cosmicide/build/kotlin/KotlinCompiler.kt

@@ -5,6 +5,7 @@ import org.cosmicide.build.Task
 import org.cosmicide.build.util.getSourceFiles
 import org.cosmicide.build.util.getSystemClasspath
 import org.cosmicide.project.Project
+import org.cosmicide.rewrite.common.Prefs
 import org.jetbrains.kotlin.cli.common.arguments.K2JVMCompilerArguments
 import org.jetbrains.kotlin.cli.common.messages.CompilerMessageSeverity
 import org.jetbrains.kotlin.cli.common.messages.CompilerMessageSourceLocation
@@ -41,7 +42,7 @@ class KotlinCompiler(val project: Project) : Task {
         args.javaSourceRoots = kotlinSourceFiles.filter { it.extension == "java" }.map { it.absolutePath }.toTypedArray()
         args.moduleName = project.name
         args.pluginClasspaths = plugins
-        args.useFastJarFileSystem = true
+        args.useFastJarFileSystem = Prefs.useFastJarFs
 
         val collector = createMessageCollector(reporter)
 

common/build.gradle.kts

@@ -31,4 +31,5 @@ dependencies {
     implementation("androidx.appcompat:appcompat:1.6.1")
     implementation("com.google.android.material:material:1.8.0")
     implementation("androidx.databinding:viewbinding:7.4.2")
+    api("androidx.preference:preference-ktx:1.2.0")
 }

common/src/main/java/org/cosmicide/rewrite/common/Prefs.kt

@@ -0,0 +1,50 @@
+package org.cosmicide.rewrite.common
+
+import android.content.Context
+import android.content.SharedPreferences
+import androidx.preference.PreferenceManager
+
+/**
+ * A utility object to access shared preferences easily.
+ */
+object Prefs {
+    private lateinit var prefs: SharedPreferences
+
+    /**
+     * The font size selected by the user.
+     */
+    val editorFontSize: Float
+        get() {
+            return try {
+                prefs.getString("font_size", "12")?.toFloat() ?: 12f
+            } catch (e: Exception) {
+                12f
+            }
+        }
+
+    /**
+     * The Java version selected by the user.
+     */
+    val compilerJavaVersion: Int
+        get() {
+            return try {
+                prefs.getString("java_version", "17")?.toInt() ?: 17
+            } catch (e: Exception) {
+                17
+            }
+        }
+
+    /**
+     * The FastJarFs selected by user.
+     */
+    val useFastJarFs: Boolean
+        get() = prefs.getBoolean("use_fastjarfs", false)
+
+    /**
+     * Initializes shared preferences.
+     * @param context The context of the application.
+     */
+    fun init(context: Context) {
+        prefs = PreferenceManager.getDefaultSharedPreferences(context)
+    }
+}

gradle.properties

@@ -21,5 +21,6 @@ kotlin.code.style=official
 # resources declared in the library itself and none from the library's dependencies,
 # thereby reducing the size of the R class for that library
 android.nonTransitiveRClass=true
+android.defaults.buildfeatures.buildconfig=true
 org.gradle.unsafe.configuration-cache=true
 android.suppressUnsupportedCompileSdk=UpsideDownCake