def METHOD_NAME():
    """Need to make cursor wider when in first column. Otherwise
    the border of the cell box makes it hard to notice the cursor.
    NB! Need to be careful with setting text["insertwidth"]!
    My first straightforward solution caused unexplainable
    infinite loop of insertions and deletions in the text
    (insert a line and a word, select that word and then do Ctrl-Z).
    Looks like this solution is safe, but I don't dare to include
    it in the main code.
    UPDATE: not safe. Select and delete a block of lines. Write a new
    line and do Ctrl-Z"""
    original_intercept_mark = CodeViewText.intercept_mark
    def _patched_intercept_mark(self, *args):
        if args[:2] == ("set", "insert") and args[2].endswith(".0"):
            self.set_insertwidth(3)
        else:
            self.set_insertwidth(2)
        original_intercept_mark(self, *args)
    CodeViewText.intercept_mark = _patched_intercept_mark