Fix Quality Issues using DeepSource (#1183)

Co-authored-by: DeepSource Bot <bot@deepsource.io>

components/ui/ace-editor.vue

@@ -35,6 +35,7 @@ export default {
     theme: {
       type: String,
       required: false,
+      default: null
     },
     lang: {
       type: String,

components/ui/js-editor.vue

@@ -36,6 +36,7 @@ export default {
     theme: {
       type: String,
       required: false,
+      default: null,
     },
     options: {
       type: Object,

components/ui/tab.vue

@@ -7,10 +7,11 @@
 <script>
 export default {
   props: {
-    label: { type: String },
-    icon: { type: String },
+    label: { type: String, default: "" },
+    icon: { type: String, default: "" },
     id: { required: true },
     selected: {
+      type: Boolean,
       default: false,
     },
   },

components/ui/url-field.vue

@@ -18,7 +18,7 @@
 <script>
 export default {
   props: {
-    value: { type: String },
+    value: { type: String, default: "" },
   },
   data() {
     return {