public class Wiki_Editor extends Object implements ij.plugin.PlugIn, ActionListener
Modifier and Type | Class and Description |
---|---|
protected static class |
Wiki_Editor.Format |
protected static class |
Wiki_Editor.Mode |
Modifier and Type | Field and Description |
---|---|
protected JMenuItem |
changeURL |
protected TextEditor |
editor |
protected static List<TextEditor> |
editors |
protected Wiki_Editor.Format |
imageFormat |
protected static String[] |
imageFormatNames |
protected JMenuItem |
importHTML |
protected JMenuItem |
insertPluginInfobox |
protected Wiki_Editor.Mode |
mode |
protected static String |
originalRename |
protected static String |
originalRenameArg |
protected JMenuItem |
preview |
protected boolean |
putSnapshotsToBack |
protected JMenuItem |
renameImage |
protected ij.ImagePlus |
screenshot |
protected int |
snapshotCounter |
protected Frame |
snapshotFrame |
protected String |
title |
protected JMenuItem |
toBackToggle |
protected JMenuItem |
upload |
protected static String |
URL |
protected JMenuItem |
whiteImage |
Constructor and Description |
---|
Wiki_Editor() |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(ActionEvent e) |
protected void |
addEditor() |
protected static String |
capitalize(String string) |
protected Button |
createButton(String text,
long delay) |
protected static boolean |
error(String message) |
protected Object |
getAttribute(Object element,
Object key) |
protected void |
getClient() |
protected String |
getContent(Element e) |
protected List<String> |
getImages() |
String |
getPage(String pageTitle) |
String |
getPage(String pageTitle,
String action) |
String |
getPageSource(String pageTitle) |
protected String |
getSnapshotName() |
String |
getText() |
protected int |
imageExistsDialog(String image) |
protected void |
importHTML(String urlString)
The only purpose of this method is to take away all excuses from Bene
|
protected void |
interceptRenames() |
static void |
main(String[] args) |
protected void |
makeWhiteBackgroundImage() |
protected static String |
normalizeImageTitle(String page) |
protected void |
preview() |
protected void |
rename() |
protected void |
rename(String oldTitle,
String newTitle) |
protected void |
renameImage() |
void |
run(String arg) |
protected boolean |
saveOrUploadImages(GraphicalMediaWikiClient clientOrNull,
List<String> images) |
protected ij.io.FileInfo |
setTmpFileInfo(ij.ImagePlus imp,
String fileName) |
void |
showSnapshotFrame() |
protected boolean |
sleep(long millis) |
protected void |
snapshot() |
protected void |
toBackToggleSetLabel() |
protected void |
upload() |
protected boolean |
wikiHasImage(String image) |
protected String title
protected static String URL
protected Wiki_Editor.Mode mode
protected ij.ImagePlus screenshot
protected Wiki_Editor.Format imageFormat
protected static final String[] imageFormatNames
protected TextEditor editor
protected JMenuItem upload
protected JMenuItem preview
protected JMenuItem toBackToggle
protected JMenuItem renameImage
protected JMenuItem changeURL
protected JMenuItem insertPluginInfobox
protected JMenuItem whiteImage
protected JMenuItem importHTML
protected boolean putSnapshotsToBack
protected static List<TextEditor> editors
protected static String originalRename
protected static String originalRenameArg
protected Frame snapshotFrame
protected int snapshotCounter
public void run(String arg)
run
in interface ij.plugin.PlugIn
protected void addEditor()
public String getText()
public void actionPerformed(ActionEvent e)
actionPerformed
in interface ActionListener
protected void toBackToggleSetLabel()
protected void getClient()
protected void upload()
protected void preview()
public String getPageSource(String pageTitle) throws IOException
IOException
public String getPage(String pageTitle) throws IOException
IOException
public String getPage(String pageTitle, String action) throws IOException
IOException
protected static boolean error(String message)
protected ij.io.FileInfo setTmpFileInfo(ij.ImagePlus imp, String fileName)
protected boolean saveOrUploadImages(GraphicalMediaWikiClient clientOrNull, List<String> images)
protected void importHTML(String urlString)
protected boolean wikiHasImage(String image)
protected int imageExistsDialog(String image)
protected void interceptRenames()
protected void rename()
protected void renameImage()
protected void makeWhiteBackgroundImage()
public void showSnapshotFrame()
protected String getSnapshotName()
protected boolean sleep(long millis)
protected void snapshot()
public static void main(String[] args)
Copyright © 2015–2021 Fiji. All rights reserved.