anchor.diff:                      form.propertyValueTextBox.EmptyUndoBuffer ()
                       form.propertyValueTextBox.Keywords0 <- keywords0
                       form.propertyValueTextBox.Keywords1 <- keywords1
  +                    form.propertyValueTextBox.SelectionStart <- selectionStart
  +                    form.propertyValueTextBox.ScrollCaret ()
               | _ ->
                   form.propertyEditor.Enabled <- false
                   form.propertyNameLabel.Text <- String.Empty
  
positive.code:     let private tryLoadOverlayer (form : GaiaForm) world =
          match tryReloadOverlays form world with
          | Right (overlayer, world) ->
              let overlayerKeywords0 = match typeof<Overlayer>.GetCustomAttribute<SyntaxAttribute> true with null -> "" | syntax -> syntax.Keywords0
              form.overlayerTextBox.Text <- Symbol.prettyPrint overlayerKeywords0 ^ scstring ^ Overlayer.getExtrinsicOverlays overlayer
              Some world
          | Left error ->
              ignore ^ MessageBox.Show ("Could not reload overlayer due to: " + error + "'.", "Failed to reload overlayer", MessageBoxButtons.OK, MessageBoxIcon.Error)
  
negative.code:                             match ty.GetCustomAttribute<SyntaxAttribute> true with
                              | null -> ("", "")
                              | syntax -> (syntax.Keywords0, syntax.Keywords1)
                      let selectionStart = form.propertyValueTextBox.SelectionStart
                      let strUnescaped = typeConverter.ConvertToString selectedGridItem.Value
                      let strEscaped = String.escape strUnescaped
                      let strPretty = Symbol.prettyPrint keywords0 strEscaped
  