Add dosiniHeader group

This commit is contained in:
Iron_E 2020-09-02 12:30:41 -04:00
parent b618eb816b
commit 93a9d7ec82
No known key found for this signature in database
GPG Key ID: B0B37DE7EDC2335F
1 changed files with 4 additions and 1 deletions

View File

@ -81,7 +81,7 @@ local gray_darker = {'#505050', 244, 'gray'}
local gray_light = {'#c0c0c0', 251, 'gray'} local gray_light = {'#c0c0c0', 251, 'gray'}
local white = {'#ffffff', 15, 'white'} local white = {'#ffffff', 15, 'white'}
local tan = {'#f4c069', 180, 'darkyellow'} local tan = {'#f4c069', 180, 'darkyellow'}
local red = {'#ee4a59', 196, 'red'} local red = {'#ee4a59', 196, 'red'}
local red_dark = {'#a80000', 124, 'darkred'} local red_dark = {'#a80000', 124, 'darkred'}
@ -574,6 +574,9 @@ local highlight_groups = {
--[[ 4.3.29. SQL ]] --[[ 4.3.29. SQL ]]
sqlKeyword = 'Keyword', sqlKeyword = 'Keyword',
--[[ 4.3.30. dos INI ]]
dosiniHeader = 'Title',
--[[ 4.4. Plugins --[[ 4.4. Plugins
Everything in this section is OPTIONAL. Feel free to remove everything Everything in this section is OPTIONAL. Feel free to remove everything
here if you don't want to define it, or add more if there's something here if you don't want to define it, or add more if there's something