CodingPirates/blockly
1
0
Fork 0
mirror of https://github.com/google/blockly.git synced 2026-01-09 10:00:09 +01:00
Code Issues Packages Projects Releases Wiki Activity

Adjust marker and cursor colours from the theme (#3735)

Browse Source 
* Support adjusting marker and cursor colours from the theme
This commit is contained in:
Sam El-Husseini
2020-03-11 11:23:29 -07:00
committed by GitHub
parent eb07793ba8
commit 29dc7bd7f7
11 changed files with 138 additions and 30 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
core/marker_manager.js
View File

@@ -154,6 +154,16 @@ Blockly.MarkerManager.prototype.setMarkerSvg = function(markerSvg) {
}
};
/**
* Redraw the attached cursor svg if needed.
* @package
*/
Blockly.MarkerManager.prototype.updateMarkers = function() {
if (this.workspace_.keyboardAccessibilityMode && this.cursorSvg_) {
this.workspace_.getCursor().draw();
}
};
/**
* Dispose of the marker manager.
* Go through and delete all markers associated with this marker manager.