Only show copy button in Opera since it does not support clipboard interaction from JS, fixes #3

master
Jordi Boggiano 13 years ago
parent 5d168aa4d8
commit faef780f96
  1. 2
      php-console.js

@ -95,7 +95,9 @@
// events // events
editor.getSession().selection.on('changeCursor', updateStatusBar); editor.getSession().selection.on('changeCursor', updateStatusBar);
if (window.navigator.userAgent.indexOf('Opera/') === 0) {
editor.getSession().selection.on('changeSelection', prepareClippyButton); editor.getSession().selection.on('changeSelection', prepareClippyButton);
}
// commands // commands
editor.commands.addCommand({ editor.commands.addCommand({

Loading…
Cancel
Save