equal
deleted
inserted
replaced
1717 ]. |
1717 ]. |
1718 self updateShownBreakpointList |
1718 self updateShownBreakpointList |
1719 ! |
1719 ! |
1720 |
1720 |
1721 openDocumentation |
1721 openDocumentation |
|
1722 "Called when <F1> is pressed" |
|
1723 |
1722 HTMLDocumentView openFullOnDocumentationFile:'tools/misc/TOP.html#BREAKPOINTLIST'. |
1724 HTMLDocumentView openFullOnDocumentationFile:'tools/misc/TOP.html#BREAKPOINTLIST'. |
1723 ! |
1725 ! |
1724 |
1726 |
1725 openPackageFilterDialog |
1727 openPackageFilterDialog |
1726 |nameOrPattern| |
1728 |nameOrPattern| |