Kate e pesquisa sensível a maiúsculas e minúsculas

Question

Eu encontrei várias páginas da web que falam sobre como definir maiúsculas e minúsculas em pesquisas no Kate. No entanto, o que eu vejo na tela não corresponde a nenhuma dessas páginas. Aqui está uma captura de tela na qual estou usando o plug-in de pesquisa e substituição:

Eaquiestáumacapturadetelausandoapenasapesquisaintegrada:

Nenhuma dessas opções parece fornecer em qualquer lugar para definir a sensibilidade da pesquisa.

Estou usando o Kate versão 16.12.3 com o framework do KDE 5.31.0. Por favor, deixe-me saber se há alguma outra informação que eu deveria fornecer.

Qualquer ajuda para encontrar essas opções seria muito apreciada.

    

Answer 1

A versão mais recente é o Kate 17.08.3. Há um interruptor para definir a diferenciação de maiúsculas e minúsculas na caixa de diálogo de pesquisa. Você deve atualizar

    

Answer 2

Então, com uma grande ajuda do PiedPiper (obrigado!), encontrei a resposta para a minha pergunta. O recurso que eu queria não estava disponível na versão do Kate que eu estava usando. Então eu atualizei meu sistema inteiro para o Ubuntu 17.10 para que eu pudesse obter a última versão do Kate.

Essa versão do Kate tem um botão de diferenciação de maiúsculas e minúsculas, mas por algum motivo é invisível. Se você passar por cima de onde deveria estar, você receberá uma pequena caixa de título dizendo "Match Case". É aí que o botão invisível está sentado:

Então o recurso está lá, você só precisa saber onde está o botão invisível.

    

Answer 3

Eu instalei unity-tweak-tool e oxygen-icon-theme . Quando eu corri o unity-tweak-tool na linha de comando eu consegui isto:

terry@inspiron:~$ unity-tweak-tool

** (unity-tweak-tool:18598): WARNING **: Couldn't register with accessibility bus: Did not receive a reply. Possible causes include: the remote application did not send a reply, the message bus security policy blocked the reply, the reply timeout expired, or the network connection was broken.
/usr/lib/python3/dist-packages/UnityTweakTool/__init__.py:40: PyGIWarning: Gtk was imported without specifying a version first. Use gi.require_version('Gtk', '3.0') before import to ensure that the right version gets loaded.
  from gi.repository import Gtk
Error: schema com.canonical.notify-osd not installed
Gtk-Message: GtkDialog mapped without a transient parent. This is discouraged.

Eu tentei instalar o com.canonical.notify-osd através do Synaptic, que não conseguiu encontrar nenhum pacote desse tipo. Neste ponto, eu tenho o que preciso, então vou deixar este problema, mas obrigado pela ajuda adicional!