changeset 19129 | ba7f0ea254da |
parent 18297 | af0fa308ea09 |
child 19136 | b9c57f3094a2 |
19128:b1b19801ca0a | 19129:ba7f0ea254da |
---|---|
382 |
382 |
383 indexForNewBookmark |
383 indexForNewBookmark |
384 |
384 |
385 | index | |
385 | index | |
386 index := self selectedBookmarkIndex. |
386 index := self selectedBookmarkIndex. |
387 index = 0 ifTrue:[^ self bookmarkList size]. |
387 index == 0 ifTrue:[^ self bookmarkList size]. |
388 ^ index |
388 ^ index |
389 ! |
389 ! |
390 |
390 |
391 indexOfBookmark: aString |
391 indexOfBookmark: aString |
392 |
392 |