add toit icon, fixes #64

Co-authored-by: serjan-nasredin <[email protected]>
braver · Feb 21, 2024 · 7a7917e · 7a7917e
1 parent d8df133
commit 7a7917e
Show file tree

Hide file tree

Showing 5 changed files with 33 additions and 0 deletions.
diff --git a/build/assets/file_type_toit.svg b/build/assets/file_type_toit.svg
diff --git a/preferences/file_type_toit.tmPreferences b/preferences/file_type_toit.tmPreferences
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="utf-8"?>
+<plist version="1.0">
+  <dict>
+    <key>scope</key>
+    <string>source.toit</string>
+    <key>settings</key>
+    <dict>
+      <key>icon</key>
+      <string>file_type_toit</string>
+    </dict>
+  </dict>
+</plist>
diff --git a/theme/file_type_toit.png b/theme/file_type_toit.png
diff --git a/theme/[email protected] b/theme/[email protected]
diff --git a/theme/[email protected] b/theme/[email protected]