truck/st-mine
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
st-mine/terminal
History
Nader Akoury e41e92c5f4 Fixed bold color for Terminal. 
* Terminal was using 'BoldTextColor' rather than 'TextBoldColor'
* Updated all the Terminal schemes for the change (this included adding
  some that had not been converted).
2016-07-29 14:25:41 -07:00
..
3024 Day.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
3024 Night.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
AdventureTime.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Afterglow.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
AlienBlood.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Argonaut.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Arthur.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
AtelierSulphurpool.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Atom.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
AtomOneLight.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Batman.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Belafonte Day.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Belafonte Night.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
BirdsOfParadise.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Blazer.terminal Add converted terminal schemes 2015-08-27 02:18:16 +02:00
Borland.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Bright Lights.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Broadcast.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Brogrammer.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
C64.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Chalk.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Chalkboard.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Ciapre.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
CLRS.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Cobalt Neon.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Cobalt2.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
CrayonPonyFish.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Dark Pastel.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Darkside.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Desert.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
DimmedMonokai.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
DotGov.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Dracula.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Duotone Dark.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Earthsong.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Elemental.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
ENCOM.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Espresso Libre.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Espresso.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Fideloper.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
FishTank.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Flat.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Flatland.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Floraverse.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
FrontEndDelight.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
FunForrest.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Galaxy.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Github.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Glacier.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Grape.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Grass.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Hardcore.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Harper.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Highway.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Hipster Green.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Homebrew.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Hurtado.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Hybrid.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
IC_Green_PPL.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
IC_Orange_PPL.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
idleToes.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
IR_Black.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Jackie Brown.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Japanesque.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Jellybeans.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
JetBrains Darcula.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Kibble.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Later This Evening.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Lavandula.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
LiquidCarbon.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
LiquidCarbonTransparent.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
LiquidCarbonTransparentInverse.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Man Page.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Material.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
MaterialDark.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Mathias.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Medallion.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Misterioso.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Molokai.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
MonaLisa.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Monokai Soda.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
N0tch2k.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Neopolitan.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Neutron.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
NightLion v1.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
NightLion v2.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Novel.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Obsidian.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Ocean.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
OceanicMaterial.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Ollie.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Parasio Dark.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
PaulMillr.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
PencilDark.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
PencilLight.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Piatto Light.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Pnevma.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Pro.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Red Alert.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Red Sands.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Rippedcasts.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Royal.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Seafoam Pastel.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
SeaShells.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Seti.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Shaman.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Slate.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Smyck.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
SoftServer.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Solarized Darcula.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Solarized Dark - Patched.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Solarized Dark Higher Contrast.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Solarized Dark.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Solarized Light.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Spacedust.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
SpaceGray Eighties Dull.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
SpaceGray Eighties.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
SpaceGray.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Spiderman.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Spring.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Square.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Sundried.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Symfonic.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Teerb.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Terminal Basic.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Thayer Bright.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
The Hulk.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Tomorrow Night Blue.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Tomorrow Night Bright.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Tomorrow Night Eighties.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Tomorrow Night.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Tomorrow.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
ToyChest.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Treehouse.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Twilight.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Ubuntu.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Urple.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Vaughn.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
VibrantInk.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
WarmNeon.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Wez.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
WildCherry.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Wombat.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Wryan.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00
Zenburn.terminal Fixed bold color for Terminal. 2016-07-29 14:25:41 -07:00