]> git.mdlowis.com Git - archive/tide-ocaml.git/commitdiff
added themes for when i acutally support that...
authorMichael D. Lowis <mike.lowis@gentex.com>
Fri, 23 Feb 2018 20:47:01 +0000 (15:47 -0500)
committerMichael D. Lowis <mike.lowis@gentex.com>
Fri, 23 Feb 2018 20:47:01 +0000 (15:47 -0500)
themes/acme [new file with mode: 0644]
themes/gruvbox-dark-hard [new file with mode: 0644]
themes/gruvbox-light-hard [new file with mode: 0644]
themes/monokai [new file with mode: 0644]

diff --git a/themes/acme b/themes/acme
new file mode 100644 (file)
index 0000000..f1b54f6
--- /dev/null
@@ -0,0 +1,37 @@
+!-------------------------------------------------------------------------------
+! Acme Theme - based on the Acme text editor
+!-------------------------------------------------------------------------------
+! Looks closest to Acme with line numbers, ruler, and syntax disabled.
+
+! Setting Tweaks
+tide.ui.syntax_enabled: false
+tide.ui.line_numbers:   false
+tide.ui.ruler_column:   0
+
+! Color Palette
+tide.palette.00: 0xffffffea ! 00 (0) - edit background
+tide.palette.01: 0xffeaffff ! 01 (1) - tags background
+tide.palette.02: 0xff9eeeee ! 02 (2) - tags selection background
+tide.palette.03: 0xff99994c ! 03 (3) - scroll background
+tide.palette.04: 0xffeeee9e ! 02 (4) - edit selection background
+tide.palette.05: 0xff000000 ! 05 (5) - edit foreground
+tide.palette.06: 0xff000000 ! 06 (6) - tags foreground
+tide.palette.07: 0xff8888cc ! 07 (7) - horizontal border
+tide.palette.08: 0xff000000
+tide.palette.09: 0xff000000
+tide.palette.10: 0xff000000
+tide.palette.11: 0xff000000
+tide.palette.12: 0xff000000
+tide.palette.13: 0xff000000
+tide.palette.14: 0xff000000
+tide.palette.15: 0xff000000
+
+! override default color pairs and cursors
+tide.colors.tags.selected:   0x0206
+tide.colors.tags.cursor:     0x06
+tide.colors.edit.selected:   0x0405
+tide.colors.edit.cursor:     0x05
+tide.colors.borders:         0x0703
+tide.colors.edit.ruler:      0x03
+tide.colors.gutter.normal:   0x0300
+tide.colors.gutter.selected: 0x0003
diff --git a/themes/gruvbox-dark-hard b/themes/gruvbox-dark-hard
new file mode 100644 (file)
index 0000000..91efcbc
--- /dev/null
@@ -0,0 +1,54 @@
+!-------------------------------------------------------------------------------
+! Monokai - Based on default scheme for Sublime Text
+!-------------------------------------------------------------------------------
+! 16-color Palette Definition
+!tide.palette.00: 0xff272822
+!tide.palette.01: 0xff383830
+!tide.palette.02: 0xff49483e
+!tide.palette.03: 0xff75715e
+!tide.palette.04: 0xffa59f85
+!tide.palette.05: 0xfff8f8f2
+!tide.palette.06: 0xfff5f4f1
+!tide.palette.07: 0xfff9f8f5
+!tide.palette.08: 0xfff92672
+!tide.palette.09: 0xfffd971f
+!tide.palette.10: 0xffCEC56A
+!tide.palette.11: 0xffa7a059
+!tide.palette.12: 0xffa1efe4
+!tide.palette.13: 0xff66d9ef
+!tide.palette.14: 0xffae81ff
+!tide.palette.15: 0xffcc6633
+
+tide.palette.00: 0xFF1d2021
+tide.palette.01: 0xFF3c3836
+tide.palette.02: 0xFF504945
+tide.palette.03: 0xFF665c54
+tide.palette.04: 0xFFbdae93
+tide.palette.05: 0xFFd5c4a1
+tide.palette.06: 0xFFebdbb2
+tide.palette.07: 0xFFfbf1c7
+tide.palette.08: 0xFFfb4934
+tide.palette.09: 0xFFfe8019
+tide.palette.10: 0xFFfabd2f
+tide.palette.11: 0xFFb8bb26
+tide.palette.12: 0xFF8ec07c
+tide.palette.13: 0xFF83a598
+tide.palette.14: 0xFFd3869b
+tide.palette.15: 0xFFd65d0e
+
+tide.colors.syntax.normal:       0x0005
+tide.colors.syntax.comment:      0x0003
+tide.colors.syntax.preprocessor: 0x0008
+tide.colors.syntax.keyword:      0x0008
+tide.colors.syntax.type:         0x000D
+tide.colors.syntax.constant:     0x000E
+tide.colors.syntax.number:       0x000E
+tide.colors.syntax.boolean:      0x000E
+tide.colors.syntax.float:        0x000E
+tide.colors.syntax.string:       0x000A
+tide.colors.syntax.character:    0x000A
+tide.colors.syntax.variable:     0x0008
+tide.colors.syntax.operator:     0x000C
+tide.colors.syntax.function:     0x000D
+tide.colors.syntax.statement:    0x000F
+tide.colors.syntax.special:      0x000F
diff --git a/themes/gruvbox-light-hard b/themes/gruvbox-light-hard
new file mode 100644 (file)
index 0000000..c8638a7
--- /dev/null
@@ -0,0 +1,37 @@
+!-------------------------------------------------------------------------------
+! Monokai - Based on default scheme for Sublime Text
+!-------------------------------------------------------------------------------
+! 16-color Palette Definition
+tide.palette.00: 0xfff9f5d7
+tide.palette.01: 0xffebdbb2
+tide.palette.02: 0xffd5c4a1
+tide.palette.03: 0xffbdae93
+tide.palette.04: 0xff665c54
+tide.palette.05: 0xff504945
+tide.palette.06: 0xff3c3836
+tide.palette.07: 0xff282828
+tide.palette.08: 0xff9d0006
+tide.palette.09: 0xffaf3a03
+tide.palette.10: 0xffb57614
+tide.palette.11: 0xff79740e
+tide.palette.12: 0xff427b58
+tide.palette.13: 0xff076678
+tide.palette.14: 0xff8f3f71
+tide.palette.15: 0xffd65d0e
+
+tide.colors.syntax.normal:       0x0005
+tide.colors.syntax.comment:      0x0003
+tide.colors.syntax.preprocessor: 0x0008
+tide.colors.syntax.keyword:      0x0008
+tide.colors.syntax.type:         0x000D
+tide.colors.syntax.constant:     0x000E
+tide.colors.syntax.number:       0x000E
+tide.colors.syntax.boolean:      0x000E
+tide.colors.syntax.float:        0x000E
+tide.colors.syntax.string:       0x000A
+tide.colors.syntax.character:    0x000A
+tide.colors.syntax.variable:     0x0008
+tide.colors.syntax.operator:     0x000C
+tide.colors.syntax.function:     0x000D
+tide.colors.syntax.statement:    0x000F
+tide.colors.syntax.special:      0x000F
diff --git a/themes/monokai b/themes/monokai
new file mode 100644 (file)
index 0000000..bd83003
--- /dev/null
@@ -0,0 +1,37 @@
+!-------------------------------------------------------------------------------
+! Monokai - Based on default scheme for Sublime Text
+!-------------------------------------------------------------------------------
+! 16-color Palette Definition
+tide.palette.00: 0xff272822
+tide.palette.01: 0xff383830
+tide.palette.02: 0xff49483e
+tide.palette.03: 0xff75715e
+tide.palette.04: 0xffa59f85
+tide.palette.05: 0xfff8f8f2
+tide.palette.06: 0xfff5f4f1
+tide.palette.07: 0xfff9f8f5
+tide.palette.08: 0xfff92672
+tide.palette.09: 0xfffd971f
+tide.palette.10: 0xffCEC56A
+tide.palette.11: 0xffa7a059
+tide.palette.12: 0xffa1efe4
+tide.palette.13: 0xff66d9ef
+tide.palette.14: 0xffae81ff
+tide.palette.15: 0xffcc6633
+
+tide.colors.syntax.normal:       0x0005
+tide.colors.syntax.comment:      0x0003
+tide.colors.syntax.preprocessor: 0x0008
+tide.colors.syntax.keyword:      0x0008
+tide.colors.syntax.type:         0x000D
+tide.colors.syntax.constant:     0x000E
+tide.colors.syntax.number:       0x000E
+tide.colors.syntax.boolean:      0x000E
+tide.colors.syntax.float:        0x000E
+tide.colors.syntax.string:       0x000A
+tide.colors.syntax.character:    0x000A
+tide.colors.syntax.variable:     0x0008
+tide.colors.syntax.operator:     0x000C
+tide.colors.syntax.function:     0x000D
+tide.colors.syntax.statement:    0x000F
+tide.colors.syntax.special:      0x000F