API 版本:4.0
库版本:4.17.2
由 gi-docgen 2024.2 生成
void redo ( GtkTextBuffer* buffer )
如果存在可重做的动作,则在缓冲区上重做下一个可重做动作。