antimatter15
unread,Feb 25, 2009, 10:35:14 PM2/25/09Sign in to reply to author
Sign in to forward
You do not have permission to delete messages in this group
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Bespin Extension Developers
So I was playing around with bespin and made this quick-and-dirty
plugin that opens a window with a textbox with the contents of the
document so you can, say copy and paste it onto another document, or
use it to paste stuff into the document.
{
name: 'pastebox',
takes: [],
preview: 'Creates a new window where you can paste stuff in',
execute: function(self, args) {
var pbw = window.open("", "PasteBox", "width=400,height=300");
pbw.document.open();
pbw.document.write("<h3>Paste Something in this textbox <button
onclick='window.opener.pasteboxfinish(window)'>Paste</button></h3>"+
"<textarea id='tp' style='width: 100%;height: 80%'></
textarea><br>");
pbw.document.close();
pbw.document.getElementById("tp").value =
self.editor.model.getDocument();
window.pasteboxfinish = function(pw){
self.editor.model.insertDocument(pw.document.getElementById
("tp").value);
_commandLine.showInfo("Done! It hopefully worked!");
}
}
}