Skip to content

change 'user_view' to 'text_view'; change get_last_undo() to get_reco… #237

change 'user_view' to 'text_view'; change get_last_undo() to get_reco…

change 'user_view' to 'text_view'; change get_last_undo() to get_reco… #237