mirror of
https://github.com/wavetermdev/xterm.js.git
synced 2026-08-05 13:43:48 -07:00
Implement remaining powerline extra symbols
- Uses fontforge + helper bin/convert_svg_to_custom_glyph.js - Some of these are very large. They'll be much smaller after gzip but if this becomes a problem we can compile the svgs into a binary format Fixes #5479
This commit is contained in:
Vendored
+1
-1
@@ -69,7 +69,7 @@ declare module '@xterm/headless' {
|
||||
*
|
||||
* - Box Drawing (U+2500-U+257F)
|
||||
* - Box Elements (U+2580-U+259F)
|
||||
* - Powerline Symbols (U+E0A0–U+E0BF)
|
||||
* - Powerline Symbols (U+E0A0–U+E0DF)
|
||||
* - Symbols for Legacy Computing (U+1FB00–U+1FBFF)
|
||||
*
|
||||
* This will typically result in better rendering with continuous lines,
|
||||
|
||||
Vendored
+1
-1
@@ -83,7 +83,7 @@ declare module '@xterm/xterm' {
|
||||
*
|
||||
* - Box Drawing (U+2500-U+257F)
|
||||
* - Box Elements (U+2580-U+259F)
|
||||
* - Powerline Symbols (U+E0A0–U+E0BF)
|
||||
* - Powerline Symbols (U+E0A0–U+E0DF)
|
||||
* - Symbols for Legacy Computing (U+1FB00–U+1FBFF)
|
||||
*
|
||||
* This will typically result in better rendering with continuous lines,
|
||||
|
||||
Reference in New Issue
Block a user