lint lib/alias.js

This commit is contained in:
Iuri Matias 2018-12-21 21:30:04 -05:00
parent deed7bb9f1
commit 052ebaf6d1
1 changed files with 0 additions and 3 deletions

View File

@ -423,9 +423,6 @@ alias.strings = {
'scroll_forward': ['ind', 'sf'], // scroll text up (P) 'scroll_forward': ['ind', 'sf'], // scroll text up (P)
'scroll_reverse': ['ri', 'sr'], // scroll text down (P) 'scroll_reverse': ['ri', 'sr'], // scroll text down (P)
'select_char_set': ['scs', 'Zj'], // Select character set, #1 'select_char_set': ['scs', 'Zj'], // Select character set, #1
'set_attributes': ['sgr', 'sa'], // define video attributes #1-#9 (PG9) 'set_attributes': ['sgr', 'sa'], // define video attributes #1-#9 (PG9)
'set_background': ['setb', 'Sb'], // Set background color #1 'set_background': ['setb', 'Sb'], // Set background color #1
'set_bottom_margin': ['smgb', 'Zk'], // Set bottom margin at current line 'set_bottom_margin': ['smgb', 'Zk'], // Set bottom margin at current line