Improve portability of newly added icons

* etc/images/symbols/README: Document what to do with changed icons.
* etc/images/symbols: Add portable variants of SVG icons.

22 files changed, 7 insertions, 1 deletions

diff --git a/etc/images/symbols/README b/etc/images/symbols/README
index b2c7b8c3179..f69a4ba8760 100644
--- a/etc/images/symbols/README
+++ b/etc/images/symbols/README
@@ -34,4 +34,10 @@ the order should be
 3. fill
 4. size
 
-E.g., arrow_right_circle_fill_16.
\ No newline at end of file
+E.g., arrow_right_circle_fill_16.
+
+
+
+Every time you modify the SVG icons, please use the ImageMagick
+`convert' utility to convert them to PBM icons, for the sake of
+Emacsen that cannot display SVG images.
diff --git a/etc/images/symbols/check-mark_16.pbm b/etc/images/symbols/check-mark_16.pbm
new file mode 100644
index 00000000000..5588c0c4c01
--- /dev/null
+++ b/etc/images/symbols/check-mark_16.pbm
diff --git a/etc/images/symbols/chevron_down_16.pbm b/etc/images/symbols/chevron_down_16.pbm
new file mode 100644
index 00000000000..3d9b75d1bcc
--- /dev/null
+++ b/etc/images/symbols/chevron_down_16.pbm
diff --git a/etc/images/symbols/chevron_left_16.pbm b/etc/images/symbols/chevron_left_16.pbm
new file mode 100644
index 00000000000..d965458790d
--- /dev/null
+++ b/etc/images/symbols/chevron_left_16.pbm
diff --git a/etc/images/symbols/chevron_right_16.pbm b/etc/images/symbols/chevron_right_16.pbm
new file mode 100644
index 00000000000..938785dce28
--- /dev/null
+++ b/etc/images/symbols/chevron_right_16.pbm
diff --git a/etc/images/symbols/chevron_up_16.pbm b/etc/images/symbols/chevron_up_16.pbm
new file mode 100644
index 00000000000..ae6b215b7bd
--- /dev/null
+++ b/etc/images/symbols/chevron_up_16.pbm
diff --git a/etc/images/symbols/cross_16.pbm b/etc/images/symbols/cross_16.pbm
new file mode 100644
index 00000000000..52996cdd589
--- /dev/null
+++ b/etc/images/symbols/cross_16.pbm
diff --git a/etc/images/symbols/cross_circle_16.pbm b/etc/images/symbols/cross_circle_16.pbm
new file mode 100644
index 00000000000..57c537b0850
--- /dev/null
+++ b/etc/images/symbols/cross_circle_16.pbm
diff --git a/etc/images/symbols/cross_circle_fill_16.pbm b/etc/images/symbols/cross_circle_fill_16.pbm
new file mode 100644
index 00000000000..81c3d377b35
--- /dev/null
+++ b/etc/images/symbols/cross_circle_fill_16.pbm
diff --git a/etc/images/symbols/heart_16.pbm b/etc/images/symbols/heart_16.pbm
new file mode 100644
index 00000000000..b3a8904b6e7
--- /dev/null
+++ b/etc/images/symbols/heart_16.pbm
diff --git a/etc/images/symbols/heart_fill_16.pbm b/etc/images/symbols/heart_fill_16.pbm
new file mode 100644
index 00000000000..88722ed6228
--- /dev/null
+++ b/etc/images/symbols/heart_fill_16.pbm
diff --git a/etc/images/symbols/heart_half_16.pbm b/etc/images/symbols/heart_half_16.pbm
new file mode 100644
index 00000000000..6d5724b1aea
--- /dev/null
+++ b/etc/images/symbols/heart_half_16.pbm
diff --git a/etc/images/symbols/menu_16.pbm b/etc/images/symbols/menu_16.pbm
new file mode 100644
index 00000000000..72baff379e5
--- /dev/null
+++ b/etc/images/symbols/menu_16.pbm
diff --git a/etc/images/symbols/minus_16.pbm b/etc/images/symbols/minus_16.pbm
new file mode 100644
index 00000000000..4f73340f179
--- /dev/null
+++ b/etc/images/symbols/minus_16.pbm
diff --git a/etc/images/symbols/minus_circle_16.pbm b/etc/images/symbols/minus_circle_16.pbm
new file mode 100644
index 00000000000..049bb004b0f
--- /dev/null
+++ b/etc/images/symbols/minus_circle_16.pbm
diff --git a/etc/images/symbols/minus_circle_fill_16.pbm b/etc/images/symbols/minus_circle_fill_16.pbm
new file mode 100644
index 00000000000..830d2d3e5c6
--- /dev/null
+++ b/etc/images/symbols/minus_circle_fill_16.pbm
diff --git a/etc/images/symbols/plus_16.pbm b/etc/images/symbols/plus_16.pbm
new file mode 100644
index 00000000000..c369231b636
--- /dev/null
+++ b/etc/images/symbols/plus_16.pbm
diff --git a/etc/images/symbols/plus_circle_16.pbm b/etc/images/symbols/plus_circle_16.pbm
new file mode 100644
index 00000000000..ae616fb4682
--- /dev/null
+++ b/etc/images/symbols/plus_circle_16.pbm
diff --git a/etc/images/symbols/plus_circle_fill_16.pbm b/etc/images/symbols/plus_circle_fill_16.pbm
new file mode 100644
index 00000000000..b0e52cdaa08
--- /dev/null
+++ b/etc/images/symbols/plus_circle_fill_16.pbm
diff --git a/etc/images/symbols/star_16.pbm b/etc/images/symbols/star_16.pbm
new file mode 100644
index 00000000000..4a63706a4f7
--- /dev/null
+++ b/etc/images/symbols/star_16.pbm
diff --git a/etc/images/symbols/star_fill_16.pbm b/etc/images/symbols/star_fill_16.pbm
new file mode 100644
index 00000000000..9bb2a2fb15b
--- /dev/null
+++ b/etc/images/symbols/star_fill_16.pbm
diff --git a/etc/images/symbols/star_half_16.pbm b/etc/images/symbols/star_half_16.pbm
new file mode 100644
index 00000000000..a57fd8687e4
--- /dev/null
+++ b/etc/images/symbols/star_half_16.pbm