Der Befehl WP DELETE BOOKMARK entfernt das Lesezeichen mit Namen bkName aus wpDok.
Existiert kein Lesezeichen bkName in wpDok, führt der Befehl nichts aus.
Ein vorhandenes Lesezeichen umbenennen. Dazu müssen Sie ein neues Lesezeichen mit derselben Reichweite erstellen und dann das alte löschen:
C_TEXT($bookmarkOldName)
C_TEXT($bookmarkNewName)
C_LONGINT($p)
C_OBJECT($wpRange)
$bookmarkOldName:="MyBookmark"
$bookmarkNewName:="MyNewBookmark"
ARRAY TEXT($_bookmarks;0)
WP GET BOOKMARKS(WParea;$_bookmarks)
$p:=Find in array($_bookmarks;$bookmarkOldName)
If($p>0)
$wpRange:=WP Get bookmark range(WParea;$bookmarkOldName)
WP DELETE BOOKMARK(WParea;$bookmarkOldName)
WP DELETE BOOKMARK($wpRange;$bookmarkNewName)
End if