diff -r af4103f0e93f -r 26aa6fd94dc2 Helpviewer/GreaseMonkey/GreaseMonkeyConfiguration/GreaseMonkeyConfigurationScriptInfoDialog.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Helpviewer/GreaseMonkey/GreaseMonkeyConfiguration/GreaseMonkeyConfigurationScriptInfoDialog.py Sun Jul 22 15:32:52 2012 +0200
@@ -0,0 +1,61 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2012 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module implementing a dialog to show GreaseMonkey script information.
+"""
+
+from PyQt4.QtCore import pyqtSlot
+from PyQt4.QtGui import QDialog
+
+from .Ui_GreaseMonkeyConfigurationScriptInfoDialog import \
+ Ui_GreaseMonkeyConfigurationScriptInfoDialog
+
+from ..GreaseMonkeyScript import GreaseMonkeyScript
+
+from QScintilla.MiniEditor import MiniEditor
+
+import UI.PixmapCache
+
+
+class GreaseMonkeyConfigurationScriptInfoDialog(QDialog,
+ Ui_GreaseMonkeyConfigurationScriptInfoDialog):
+ """
+ Class implementing a dialog to show GreaseMonkey script information.
+ """
+ def __init__(self, script, parent=None):
+ """
+ Constructor
+
+ @param script reference to the script (GreaseMonkeyScript)
+ @param parent reference to the parent widget (QWidget)
+ """
+ super().__init__(parent)
+ self.setupUi(self)
+
+ self.iconLabel.setPixmap(UI.PixmapCache.getPixmap("greaseMonkey48.png"))
+
+ self.__scriptFileName = script.fileName()
+
+ self.setWindowTitle(self.trUtf8("Script Details of {0}").format(script.name()))
+
+ self.nameLabel.setText(script.fullName())
+ self.versionLabel.setText(script.version())
+ self.urlLabel.setText(script.downloadUrl().toString())
+ if script.startAt() == GreaseMonkeyScript.DocumentStart:
+ self.startAtLabel.setText("document-start")
+ else:
+ self.startAtLabel.setText("document-end")
+ self.descriptionBrowser.setHtml(script.description())
+ self.runsAtBrowser.setHtml("<br/>".join(script.include()))
+ self.doesNotRunAtBrowser.setHtml("<br/>".join(script.exclude()))
+
+ @pyqtSlot()
+ def on_showScriptSourceButton_clicked(self):
+ """
+ Private slot to show an editor window with the script source code.
+ """
+ editor = MiniEditor(self.__scriptFileName, "JavaScript", self)
+ editor.show()
