[gnome-sound-recorder] change media-type-preset to enum type

[Bilal Elmoussaoui <bilelmoussaoui src gnome org>]

commit 3292fb04c69f81977b244622412502792ab1f13d
Author: Kavan Mevada <kavanmevada gmail com>
Date:   Fri Apr 10 15:16:28 2020 +0530

    change media-type-preset to enum type

 data/org.gnome.SoundRecorder.gschema.xml.in | 11 +++++++++--
 src/preferences.js                          |  4 ++--
 2 files changed, 11 insertions(+), 4 deletions(-)
---
diff --git a/data/org.gnome.SoundRecorder.gschema.xml.in b/data/org.gnome.SoundRecorder.gschema.xml.in
index 0266e61..bc890a8 100644
--- a/data/org.gnome.SoundRecorder.gschema.xml.in
+++ b/data/org.gnome.SoundRecorder.gschema.xml.in
@@ -1,4 +1,11 @@
 <schemalist>
+  <enum id="@app-id@.EncodingProfile">
+    <value nick='VORBIS' value='0'/>
+    <value nick='OPUS' value='1'/>
+    <value nick='FLAC' value='2'/>
+    <value nick='MP3' value='3'/>
+    <value nick='M4A' value='4'/>
+  </enum>
   <schema id="@app-id@" path="/org/gnome/SoundRecorder/" gettext-domain="@gettext-package@">
     <key name="window-size" type="ai">
       <default>[780, 480]</default>
@@ -10,8 +17,8 @@
       <summary>Window position</summary>
       <description>Window position (x and y).</description>
     </key>
-    <key name="media-type-preset" type="i">
-      <default>0</default>
+    <key name="media-type-preset" enum="@app-id@.EncodingProfile">
+      <default>'VORBIS'</default>
       <summary>Maps media types to audio encoder preset names.</summary>
       <description>Maps media types to audio encoder preset names. If there is no mapping set, the default 
encoder settings will be used.</description>
     </key>
diff --git a/src/preferences.js b/src/preferences.js
index 439149e..637267e 100644
--- a/src/preferences.js
+++ b/src/preferences.js
@@ -29,11 +29,11 @@ let _settings = new Gio.Settings({ schema: pkg.name });
 
 var settings = {
     get encodingProfile() {
-        return _settings.get_int('media-type-preset');
+        return _settings.get_enum('media-type-preset');
     },
 
     set encodingProfile(profile) {
-        _settings.get_int('media-type-preset', profile);
+        _settings.set_enum('media-type-preset', profile);
     },
 
     get channel() {