mirror
/
turtlestitch
kopia lustrzana https://github.com/backface/turtlestitch
1
0
Forkuj 0
Kod Zgłoszenia Projekty Wydania Wiki Aktywność

changed background color for IDE symbolic toggle buttons

pull/95/head
jmoenig 2020-05-06 11:29:09 +02:00
rodzic 5972191f07
commit d9db1e5dff
1 zmienionych plików z 4 dodań i 5 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

9
src/gui.js
Wyświetl plik

@ -733,7 +733,7 @@ IDE_Morph.prototype.createControlBar = function () {
button.corner = 12;
button.color = colors[0];
button.highlightColor = colors[1];
button.pressColor = colors[2];
button.pressColor = colors[0];
button.labelMinExtent = new Point(36, 18);
button.padding = 0;
button.labelShadowOffset = new Point(-1, -1);
@ -762,7 +762,7 @@ IDE_Morph.prototype.createControlBar = function () {
button.corner = 12;
button.color = colors[0];
button.highlightColor = colors[1];
button.pressColor = colors[2];
button.pressColor = colors[0];
button.labelMinExtent = new Point(36, 18);
button.padding = 0;
button.labelShadowOffset = new Point(-1, -1);
@ -792,7 +792,6 @@ IDE_Morph.prototype.createControlBar = function () {
button.color = colors[0];
button.highlightColor = colors[1];
button.pressColor = new Color(153, 255, 213);
// button.pressColor = colors[2];
button.labelMinExtent = new Point(36, 18);
button.padding = 0;
button.labelShadowOffset = new Point(-1, -1);
@ -857,7 +856,7 @@ IDE_Morph.prototype.createControlBar = function () {
button.corner = 12;
button.color = colors[0];
button.highlightColor = colors[1];
button.pressColor = colors[2];
button.pressColor = colors[0];
button.labelMinExtent = new Point(36, 18);
button.padding = 0;
button.labelShadowOffset = new Point(-1, -1);
@ -979,7 +978,7 @@ IDE_Morph.prototype.createControlBar = function () {
button.corner = 12;
button.color = colors[0];
button.highlightColor = colors[1];
button.pressColor = colors[2];
button.pressColor = colors[0];
button.labelMinExtent = new Point(36, 18);
button.padding = 0;
button.labelShadowOffset = new Point(-1, -1);