Removing a row from a GridView does not remove it from the view

[simoncozens]

Minimal example:

class SimpleAppWindow(object):
    def __init__(self):
        self.w = vanilla.Window((250, 120), "Simple App Window", closable=False)
        self.w.gridview = vanilla.GridView((10, 10, -10, 70), [
            [vanilla.PopUpButton("auto", ["I should be removed"])],
            [vanilla.PopUpButton("auto", ["I should remain"])],
        ])
        self.w.button = vanilla.Button((10, 90, -10, 20), "Press me", callback=self.deleteTopRow)
        self.w.open()

    def deleteTopRow(self, sender):
        self.w.gridview.removeRow(0)
        # PUSH IT HARDER
        self.w.setNeedsDisplay()
        self.w.displayIfNeeded()

Before pressing the button (correct):

After pressing the button:

The first popup button can still be opened, selected, etc.

[typesupply]

This looks like an Apple bug. The row is deleted but the visualization remains. Here's a simplified demo that prints the number of rows in the grid before and after the remove call:

import vanilla

class Test:

    def __init__(self):
        self.w = vanilla.Window((200, 200))
        self.w.grid = vanilla.GridView(
            (10, 10, -10, -50),
            contents=[
                [
                    vanilla.TextBox("auto", "11111")
                ],
                [
                    vanilla.TextBox("auto", "22222")
                ],
                [
                    vanilla.TextBox("auto", "33333")
                ],
            ]
        )
        self.w.removeTopRowButton = vanilla.Button(
            (10, -30, -10, 20),
            "Remove Top Row",
            callback=self.removeTopRowButtonCallback
        )
        self.w.open()

    def removeTopRowButtonCallback(self, sender):
        print(">", self.w.grid.getNSGridView().numberOfRows())
        self.w.grid.removeRow(0)
        print("<", self.w.grid.getNSGridView().numberOfRows())

Test()

I'm going to add a little hack that hides the row before removal. That seems to be a usuable workaround.