|
24 | 24 |
|
25 | 25 | try: |
26 | 26 | import __pypy__ |
27 | | - print("Warning: PyQt4 is currently not supported in PyPy. Some features thus have been disabled.") |
| 27 | + print("Warning: PyQt is currently not supported in PyPy. Some features thus have been disabled.") |
28 | 28 | except ImportError: |
29 | 29 | pass |
30 | 30 |
|
@@ -611,11 +611,12 @@ def __init__(self): |
611 | 611 | import pydot |
612 | 612 | self.ui.actionParse_Tree.triggered.connect(self.showParseView) |
613 | 613 | self.ui.actionStateGraph.triggered.connect(self.showStateView) |
| 614 | + self.ui.actionPvShow.triggered.connect(self.showPygameTree) |
614 | 615 | except ImportError: |
615 | | - sys.stderr.write("Warning: pydot not installed, so viewing of trees is disabled.\n") |
| 616 | + sys.stderr.write("Warning: pydot not installed. Viewing of parse trees/graphs disabled.\n") |
616 | 617 | self.ui.actionParse_Tree.setEnabled(False) |
| 618 | + self.ui.actionPvShow.setEnabled(False) |
617 | 619 | self.ui.actionStateGraph.setEnabled(False) |
618 | | - self.ui.actionPvShow.triggered.connect(self.showPygameTree) |
619 | 620 |
|
620 | 621 | self.ui.actionSettings.triggered.connect(self.showSettingsView) |
621 | 622 | self.ui.actionAbout.triggered.connect(self.showAboutView) |
@@ -833,6 +834,14 @@ def contextMenu(self, pos): |
833 | 834 | self.btReparse([]) |
834 | 835 |
|
835 | 836 | def showPygameTree(self): |
| 837 | + os.environ['PYGAME_HIDE_SUPPORT_PROMPT'] = "hide" |
| 838 | + try: |
| 839 | + import pygame |
| 840 | + except ImportError: |
| 841 | + sys.stderr.write("Warning: pygame not installed. Interactive viewing of parse trees disabled.\n") |
| 842 | + self.ui.actionPvShow.setEnabled(False) |
| 843 | + return |
| 844 | + |
836 | 845 | if not self.pgviewer: |
837 | 846 | editor = self.getEditor() |
838 | 847 | tree = editor.tm.main_lbox |
@@ -1491,6 +1500,7 @@ def toggle_menu(self, enabled=True): |
1491 | 1500 | self.ui.actionParse_Tree.setEnabled(enabled) |
1492 | 1501 | except ImportError: |
1493 | 1502 | pass |
| 1503 | + self.ui.actionPvShow.setEnabled(enabled) |
1494 | 1504 | self.ui.actionCode_complete.setEnabled(enabled) |
1495 | 1505 | self.ui.menuChange_language_box.setEnabled(enabled) |
1496 | 1506 | self.ui.actionPreview.setEnabled(enabled) |
|
0 commit comments