waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #797 from mofux/guard_selection_api

Browse Source 
Guard public selection api
This commit is contained in:
Daniel Imms
2017-07-14 10:31:25 -07:00
committed by GitHub
parent 1fd087e5d3 e2b43a4ced
commit c94fdaecb2
1 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/xterm.js
+8 -4
View File
@@ -1437,7 +1437,7 @@ Terminal.prototype.deregisterLinkMatcher = function(matcherId) {
* Gets whether the terminal has an active selection.
*/
Terminal.prototype.hasSelection = function() {
return this.selectionManager.hasSelection;
return this.selectionManager ? this.selectionManager.hasSelection : false;
};
/**
@@ -1445,21 +1445,25 @@ Terminal.prototype.hasSelection = function() {
* behavior outside of xterm.js.
*/
Terminal.prototype.getSelection = function() {
return this.selectionManager.selectionText;
return this.selectionManager ? this.selectionManager.selectionText : '';
};
/**
* Clears the current terminal selection.
*/
Terminal.prototype.clearSelection = function() {
this.selectionManager.clearSelection();
if (this.selectionManager) {
this.selectionManager.clearSelection();
}
};
/**
* Selects all text within the terminal.
*/
Terminal.prototype.selectAll = function() {
this.selectionManager.selectAll();
if (this.selectionManager) {
this.selectionManager.selectAll();
}
};
/**