Skip to content

Instantly share code, notes, and snippets.

@avli

avli/Monoid.json

Last active August 1, 2020 12:58
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save avli/a79a68f772dae6f7ad9017b81d8c08b5 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save avli/a79a68f772dae6f7ad9017b81d8c08b5 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. avli revised this gist Aug 1, 2020. 1 changed file with 51 additions and 46 deletions.
    97 changes: 51 additions & 46 deletions Monoid.json
    View file
    Original file line number Diff line number Diff line change
    @@ -1,10 +1,10 @@
    {
    "Ansi 3 Color" : {
    "Ansi 5 Color" : {
    "Red Component" : 1,
    "Color Space" : "sRGB",
    "Blue Component" : 0.40000000000000002,
    "Blue Component" : 1,
    "Alpha Component" : 1,
    "Green Component" : 0.74901960784313726
    "Green Component" : 0.58823529411764708
    },
    "Tags" : [

    @@ -16,39 +16,25 @@
    "Alpha Component" : 1,
    "Green Component" : 0.80000000000000004
    },
    "Has Hotkey" : false,
    "Ansi 7 Color" : {
    "Green Component" : 0.73333334922790527,
    "Red Component" : 0.73333334922790527,
    "Blue Component" : 0.73333334922790527
    },
    "Use Non-ASCII Font" : false,
    "Right Option Key Sends" : 0,
    "Bold Color" : {
    "Green Component" : 1,
    "Red Component" : 1,
    "Blue Component" : 1
    },
    "Ansi 8 Color" : {
    "Green Component" : 0.3333333432674408,
    "Red Component" : 0.3333333432674408,
    "Blue Component" : 0.3333333432674408
    },
    "Ansi 9 Color" : {
    "Red Component" : 0.98039215686274506,
    "Color Space" : "sRGB",
    "Blue Component" : 0.19607843137254902,
    "Alpha Component" : 1,
    "Green Component" : 0.19607843137254902
    },
    "Ansi 6 Color" : {
    "Red Component" : 0.21568627450980393,
    "Normal Font" : "Monoid-Retina 12",
    "Transparency" : 0,
    "Ansi 3 Color" : {
    "Red Component" : 1,
    "Color Space" : "sRGB",
    "Blue Component" : 0.80000000000000004,
    "Blue Component" : 0.40000000000000002,
    "Alpha Component" : 1,
    "Green Component" : 0.80000000000000004
    "Green Component" : 0.74901960784313726
    },
    "Rows" : 25,
    "Default Bookmark" : "No",
    "Guid" : "E27D975D-1657-427E-B71A-3E1A9EB93AC1",
    "Horizontal Spacing" : 1,
    "Cursor Guide Color" : {
    "Red Component" : 0.70213186740875244,
    "Color Space" : "sRGB",
    @@ -98,9 +84,11 @@
    "Mouse Reporting" : true,
    "Screen" : -1,
    "Selection Color" : {
    "Green Component" : 0.8353000283241272,
    "Red Component" : 0.70980000495910645,
    "Blue Component" : 1
    "Red Component" : 0,
    "Color Space" : "sRGB",
    "Blue Component" : 0.50196078431372548,
    "Alpha Component" : 1,
    "Green Component" : 0.3843137254901961
    },
    "Columns" : 80,
    "Idle Code" : 0,
    @@ -118,9 +106,11 @@
    "Use Bold Font" : true,
    "Option Key Sends" : 2,
    "Selected Text Color" : {
    "Green Component" : 0,
    "Red Component" : 0,
    "Blue Component" : 0
    "Red Component" : 1,
    "Color Space" : "sRGB",
    "Blue Component" : 1,
    "Alpha Component" : 1,
    "Green Component" : 1
    },
    "Background Color" : {
    "Green Component" : 0,
    @@ -317,6 +307,7 @@
    "Visual Bell" : true,
    "Flashing Bell" : false,
    "Silence Bell" : true,
    "Use Underline Color" : false,
    "Ansi 14 Color" : {
    "Red Component" : 0.21568627450980393,
    "Color Space" : "sRGB",
    @@ -342,45 +333,59 @@
    "Red Component" : 0,
    "Blue Component" : 0
    },
    "Transparency" : 0,
    "Horizontal Spacing" : 1,
    "Ansi 1 Color" : {
    "Red Component" : 0.98039215686274506,
    "Color Space" : "sRGB",
    "Blue Component" : 0.19607843137254902,
    "Alpha Component" : 1,
    "Green Component" : 0.19607843137254902
    },
    "Guid" : "E27D975D-1657-427E-B71A-3E1A9EB93AC1",
    "Custom Directory" : "No",
    "Ansi 4 Color" : {
    "Red Component" : 0.20000000000000001,
    "Color Space" : "sRGB",
    "Blue Component" : 1,
    "Alpha Component" : 1,
    "Green Component" : 0.80000000000000004
    },
    "Ansi 5 Color" : {
    "Red Component" : 1,
    "Color Space" : "sRGB",
    "Blue Component" : 1,
    "Alpha Component" : 1,
    "Green Component" : 0.58823529411764708
    },
    "Use Non-ASCII Font" : false,
    "Right Option Key Sends" : 0,
    "Normal Font" : "Monoid-Retina 12",
    "Custom Directory" : "No",
    "Link Color" : {
    "Red Component" : 0,
    "Color Space" : "sRGB",
    "Blue Component" : 0.73423302173614502,
    "Alpha Component" : 1,
    "Green Component" : 0.35916060209274292
    },
    "Has Hotkey" : false,
    "Ansi 7 Color" : {
    "Green Component" : 0.73333334922790527,
    "Red Component" : 0.73333334922790527,
    "Blue Component" : 0.73333334922790527
    },
    "Ansi 8 Color" : {
    "Green Component" : 0.3333333432674408,
    "Red Component" : 0.3333333432674408,
    "Blue Component" : 0.3333333432674408
    },
    "Ansi 9 Color" : {
    "Red Component" : 0.98039215686274506,
    "Color Space" : "sRGB",
    "Blue Component" : 0.19607843137254902,
    "Alpha Component" : 1,
    "Green Component" : 0.19607843137254902
    },
    "Ansi 6 Color" : {
    "Red Component" : 0.21568627450980393,
    "Color Space" : "sRGB",
    "Blue Component" : 0.80000000000000004,
    "Alpha Component" : 1,
    "Green Component" : 0.80000000000000004
    },
    "Ansi 2 Color" : {
    "Red Component" : 0.32941176470588235,
    "Color Space" : "sRGB",
    "Blue Component" : 0.24313725490196078,
    "Alpha Component" : 1,
    "Green Component" : 0.70196078431372544
    }
    }
    }
  2. avli revised this gist Aug 1, 2020. 1 changed file with 2 additions and 2 deletions.
    4 changes: 2 additions & 2 deletions Monoid.json
    View file
    Original file line number Diff line number Diff line change
    @@ -367,7 +367,7 @@
    },
    "Use Non-ASCII Font" : false,
    "Right Option Key Sends" : 0,
    "Normal Font" : "Monoid-Regular 12",
    "Normal Font" : "Monoid-Retina 12",
    "Custom Directory" : "No",
    "Link Color" : {
    "Red Component" : 0,
    @@ -383,4 +383,4 @@
    "Alpha Component" : 1,
    "Green Component" : 0.70196078431372544
    }
    }
    }
  3. avli revised this gist Aug 1, 2020. No changes.
  4. avli created this gist Aug 1, 2020.
    386 changes: 386 additions & 0 deletions Monoid.json
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,386 @@
    {
    "Ansi 3 Color" : {
    "Red Component" : 1,
    "Color Space" : "sRGB",
    "Blue Component" : 0.40000000000000002,
    "Alpha Component" : 1,
    "Green Component" : 0.74901960784313726
    },
    "Tags" : [

    ],
    "Ansi 12 Color" : {
    "Red Component" : 0.20000000000000001,
    "Color Space" : "sRGB",
    "Blue Component" : 1,
    "Alpha Component" : 1,
    "Green Component" : 0.80000000000000004
    },
    "Has Hotkey" : false,
    "Ansi 7 Color" : {
    "Green Component" : 0.73333334922790527,
    "Red Component" : 0.73333334922790527,
    "Blue Component" : 0.73333334922790527
    },
    "Bold Color" : {
    "Green Component" : 1,
    "Red Component" : 1,
    "Blue Component" : 1
    },
    "Ansi 8 Color" : {
    "Green Component" : 0.3333333432674408,
    "Red Component" : 0.3333333432674408,
    "Blue Component" : 0.3333333432674408
    },
    "Ansi 9 Color" : {
    "Red Component" : 0.98039215686274506,
    "Color Space" : "sRGB",
    "Blue Component" : 0.19607843137254902,
    "Alpha Component" : 1,
    "Green Component" : 0.19607843137254902
    },
    "Ansi 6 Color" : {
    "Red Component" : 0.21568627450980393,
    "Color Space" : "sRGB",
    "Blue Component" : 0.80000000000000004,
    "Alpha Component" : 1,
    "Green Component" : 0.80000000000000004
    },
    "Rows" : 25,
    "Default Bookmark" : "No",
    "Guid" : "E27D975D-1657-427E-B71A-3E1A9EB93AC1",
    "Cursor Guide Color" : {
    "Red Component" : 0.70213186740875244,
    "Color Space" : "sRGB",
    "Blue Component" : 1,
    "Alpha Component" : 0.25,
    "Green Component" : 0.9268307089805603
    },
    "Non-ASCII Anti Aliased" : true,
    "Use Bright Bold" : true,
    "Ansi 10 Color" : {
    "Red Component" : 0.32941176470588235,
    "Color Space" : "sRGB",
    "Blue Component" : 0.24313725490196078,
    "Alpha Component" : 1,
    "Green Component" : 0.70196078431372544
    },
    "Ambiguous Double Width" : false,
    "Jobs to Ignore" : [
    "rlogin",
    "ssh",
    "slogin",
    "telnet"
    ],
    "Ansi 15 Color" : {
    "Green Component" : 1,
    "Red Component" : 1,
    "Blue Component" : 1
    },
    "Foreground Color" : {
    "Red Component" : 1,
    "Color Space" : "sRGB",
    "Blue Component" : 1,
    "Alpha Component" : 1,
    "Green Component" : 1
    },
    "Bound Hosts" : [

    ],
    "Working Directory" : "\/Users\/andrey.lisin",
    "Blinking Cursor" : false,
    "Disable Window Resizing" : true,
    "Sync Title" : false,
    "Prompt Before Closing 2" : false,
    "BM Growl" : true,
    "Command" : "",
    "Description" : "Default",
    "Mouse Reporting" : true,
    "Screen" : -1,
    "Selection Color" : {
    "Green Component" : 0.8353000283241272,
    "Red Component" : 0.70980000495910645,
    "Blue Component" : 1
    },
    "Columns" : 80,
    "Idle Code" : 0,
    "Ansi 13 Color" : {
    "Red Component" : 1,
    "Color Space" : "sRGB",
    "Blue Component" : 1,
    "Alpha Component" : 1,
    "Green Component" : 0.58823529411764708
    },
    "Custom Command" : "No",
    "ASCII Anti Aliased" : true,
    "Non Ascii Font" : "Monaco 12",
    "Vertical Spacing" : 1,
    "Use Bold Font" : true,
    "Option Key Sends" : 2,
    "Selected Text Color" : {
    "Green Component" : 0,
    "Red Component" : 0,
    "Blue Component" : 0
    },
    "Background Color" : {
    "Green Component" : 0,
    "Red Component" : 0,
    "Blue Component" : 0
    },
    "Character Encoding" : 4,
    "Ansi 11 Color" : {
    "Red Component" : 1,
    "Color Space" : "sRGB",
    "Blue Component" : 0.40000000000000002,
    "Alpha Component" : 1,
    "Green Component" : 0.74901960784313726
    },
    "Thin Strokes" : 1,
    "Use Italic Font" : true,
    "Unlimited Scrollback" : false,
    "Keyboard Map" : {
    "0xf700-0x260000" : {
    "Action" : 10,
    "Text" : "[1;6A"
    },
    "0x37-0x40000" : {
    "Action" : 11,
    "Text" : "0x1f"
    },
    "0x32-0x40000" : {
    "Action" : 11,
    "Text" : "0x00"
    },
    "0xf709-0x20000" : {
    "Action" : 10,
    "Text" : "[17;2~"
    },
    "0xf70c-0x20000" : {
    "Action" : 10,
    "Text" : "[20;2~"
    },
    "0xf729-0x20000" : {
    "Action" : 10,
    "Text" : "[1;2H"
    },
    "0xf72b-0x40000" : {
    "Action" : 10,
    "Text" : "[1;5F"
    },
    "0xf705-0x20000" : {
    "Action" : 10,
    "Text" : "[1;2Q"
    },
    "0xf703-0x260000" : {
    "Action" : 10,
    "Text" : "[1;6C"
    },
    "0xf700-0x220000" : {
    "Action" : 10,
    "Text" : "[1;2A"
    },
    "0xf701-0x280000" : {
    "Action" : 11,
    "Text" : "0x1b 0x1b 0x5b 0x42"
    },
    "0x38-0x40000" : {
    "Action" : 11,
    "Text" : "0x7f"
    },
    "0x33-0x40000" : {
    "Action" : 11,
    "Text" : "0x1b"
    },
    "0xf703-0x220000" : {
    "Action" : 10,
    "Text" : "[1;2C"
    },
    "0xf701-0x240000" : {
    "Action" : 10,
    "Text" : "[1;5B"
    },
    "0xf70d-0x20000" : {
    "Action" : 10,
    "Text" : "[21;2~"
    },
    "0xf702-0x260000" : {
    "Action" : 10,
    "Text" : "[1;6D"
    },
    "0xf729-0x40000" : {
    "Action" : 10,
    "Text" : "[1;5H"
    },
    "0xf706-0x20000" : {
    "Action" : 10,
    "Text" : "[1;2R"
    },
    "0x34-0x40000" : {
    "Action" : 11,
    "Text" : "0x1c"
    },
    "0xf700-0x280000" : {
    "Action" : 11,
    "Text" : "0x1b 0x1b 0x5b 0x41"
    },
    "0x2d-0x40000" : {
    "Action" : 11,
    "Text" : "0x1f"
    },
    "0xf70e-0x20000" : {
    "Action" : 10,
    "Text" : "[23;2~"
    },
    "0xf702-0x220000" : {
    "Action" : 10,
    "Text" : "[1;2D"
    },
    "0xf703-0x280000" : {
    "Action" : 11,
    "Text" : "0x1b 0x1b 0x5b 0x43"
    },
    "0xf700-0x240000" : {
    "Action" : 10,
    "Text" : "[1;5A"
    },
    "0xf707-0x20000" : {
    "Action" : 10,
    "Text" : "[1;2S"
    },
    "0xf70a-0x20000" : {
    "Action" : 10,
    "Text" : "[18;2~"
    },
    "0x35-0x40000" : {
    "Action" : 11,
    "Text" : "0x1d"
    },
    "0xf70f-0x20000" : {
    "Action" : 10,
    "Text" : "[24;2~"
    },
    "0xf703-0x240000" : {
    "Action" : 10,
    "Text" : "[1;5C"
    },
    "0xf701-0x260000" : {
    "Action" : 10,
    "Text" : "[1;6B"
    },
    "0xf702-0x280000" : {
    "Action" : 11,
    "Text" : "0x1b 0x1b 0x5b 0x44"
    },
    "0xf72b-0x20000" : {
    "Action" : 10,
    "Text" : "[1;2F"
    },
    "0x36-0x40000" : {
    "Action" : 11,
    "Text" : "0x1e"
    },
    "0xf708-0x20000" : {
    "Action" : 10,
    "Text" : "[15;2~"
    },
    "0xf701-0x220000" : {
    "Action" : 10,
    "Text" : "[1;2B"
    },
    "0xf70b-0x20000" : {
    "Action" : 10,
    "Text" : "[19;2~"
    },
    "0xf702-0x240000" : {
    "Action" : 10,
    "Text" : "[1;5D"
    },
    "0xf704-0x20000" : {
    "Action" : 10,
    "Text" : "[1;2P"
    }
    },
    "Window Type" : 0,
    "Background Image Location" : "",
    "Blur" : false,
    "Badge Color" : {
    "Red Component" : 1,
    "Color Space" : "sRGB",
    "Blue Component" : 0,
    "Alpha Component" : 0.5,
    "Green Component" : 0.1491314172744751
    },
    "Scrollback Lines" : 1000,
    "Send Code When Idle" : false,
    "Close Sessions On End" : true,
    "Terminal Type" : "xterm-256color",
    "Visual Bell" : true,
    "Flashing Bell" : false,
    "Silence Bell" : true,
    "Ansi 14 Color" : {
    "Red Component" : 0.21568627450980393,
    "Color Space" : "sRGB",
    "Blue Component" : 0.80000000000000004,
    "Alpha Component" : 1,
    "Green Component" : 0.80000000000000004
    },
    "Name" : "Monoid",
    "Cursor Text Color" : {
    "Green Component" : 1,
    "Red Component" : 1,
    "Blue Component" : 1
    },
    "Minimum Contrast" : 0,
    "Shortcut" : "",
    "Cursor Color" : {
    "Green Component" : 0.73333334922790527,
    "Red Component" : 0.73333334922790527,
    "Blue Component" : 0.73333334922790527
    },
    "Ansi 0 Color" : {
    "Green Component" : 0,
    "Red Component" : 0,
    "Blue Component" : 0
    },
    "Transparency" : 0,
    "Horizontal Spacing" : 1,
    "Ansi 1 Color" : {
    "Red Component" : 0.98039215686274506,
    "Color Space" : "sRGB",
    "Blue Component" : 0.19607843137254902,
    "Alpha Component" : 1,
    "Green Component" : 0.19607843137254902
    },
    "Ansi 4 Color" : {
    "Red Component" : 0.20000000000000001,
    "Color Space" : "sRGB",
    "Blue Component" : 1,
    "Alpha Component" : 1,
    "Green Component" : 0.80000000000000004
    },
    "Ansi 5 Color" : {
    "Red Component" : 1,
    "Color Space" : "sRGB",
    "Blue Component" : 1,
    "Alpha Component" : 1,
    "Green Component" : 0.58823529411764708
    },
    "Use Non-ASCII Font" : false,
    "Right Option Key Sends" : 0,
    "Normal Font" : "Monoid-Regular 12",
    "Custom Directory" : "No",
    "Link Color" : {
    "Red Component" : 0,
    "Color Space" : "sRGB",
    "Blue Component" : 0.73423302173614502,
    "Alpha Component" : 1,
    "Green Component" : 0.35916060209274292
    },
    "Ansi 2 Color" : {
    "Red Component" : 0.32941176470588235,
    "Color Space" : "sRGB",
    "Blue Component" : 0.24313725490196078,
    "Alpha Component" : 1,
    "Green Component" : 0.70196078431372544
    }
    }