_startPushToTooltip: function() {
this._nPushToTooltipHandler = setInterval(function() {
$(".CodeMirror-merge-copybuttons-left > .CodeMirror-merge-copy").prop("title", "push_to_right");
$(".CodeMirror-merge-copybuttons-right > .CodeMirror-merge-copy").prop("title", "push_to_left");
}, 500);
},
_stopPushToTooltipHandler: function() {
clearInterval(this._nPushToTooltipHandler);
},