Bookmarklets

2 years ago

Use this to get from an external page (a weblog post, say), to that item on Scintilla:
Find in Scintilla
Select some text, then run this bookmarklet to find similar content in Scintilla:
Similar content in Scintilla