Skip to content

Instantly share code, notes, and snippets.

@giulioungaretti

giulioungaretti/pref.js

Forked from petrhosek/pref.js
Last active August 29, 2015 14:25
Show Gist options

  • Select an option

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

Select an option

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

Revisions

  1. @petrhosek petrhosek created this gist Jul 1, 2013.
    26 changes: 26 additions & 0 deletions pref.js
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,26 @@
    // Disable bold.
    term_.prefs_.set('enable-bold', false);

    // Use this for base16-default.
    term_.prefs_.set('background-color', "#151515");
    term_.prefs_.set('foreground-color', "#d0d0d0");
    term_.prefs_.set('cursor-color', '#d0d0d0');

    term_.prefs_.set('color-palette-overrides', [
    '#151515',
    '#ac4142',
    '#90a959',
    '#f4bf75',
    '#6a9fb5',
    '#aa759f',
    '#75b5aa',
    '#d0d0d0',
    '#505050',
    '#d28445',
    '#202020',
    '#303030',
    '#b0b0b0',
    '#e0e0e0',
    '#8f5536',
    '#f5f5f5'
    ]);