Tools__BreakpointBrowser.st
changeset 19247 ae02dee6db87
parent 18703 91c116f548c9
child 19573 0453e4b1360e
equal deleted inserted replaced
19246:1c084197954b 19247:ae02dee6db87
  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|