Eu tinha o editor de texto Ubuntu Gedit versão 3.10.4, com uma barra de ferramentas muito bacana, com
um ícone em forma de seta, dedicado a "desfazer a última alteração" e
um ícone em forma de seta, dedicado a "refazer a última alteração"
Agora eu tenho a versão mais recente do Ubuntu 18.04 LTS, versão do kernel 4.15.0-50-generic Gedit versão 3.28.1
Meu problema, no novo Gedit 3.28.1 não encontrei as duas setas para navegar rapidamente para frente e para trás nas alterações que fiz no arquivo de texto desde o último salvamento.
existe apenas um menu com a possibilidade de desfazer os últimos minutos, mas preciso retroceder passo a passo a cada alteração que fiz no arquivo de texto. como na maioria dos editores de texto e como no Gedit 3.10.4. mudança por mudança. não voltar alguns minutos. isso é inútil.
ficou muito legal na versão Gedit 3.10.4
eu prefiro o Gedit e não quero nenhum outro editor. eu gostaria de NÃO instalar uma versão mais antiga, mas gostaria de ter essas setas de volta nesta versão mais recente. Eu gostaria de não usar teclas de atalho como CTRL+qualquer coisa. Eu prefiro essas flechas.
qualquer ajuda será apreciada. Obrigado. Mário.