Найти решение самостоятельно:
Это была проблема стиля (темы). Проверяется снова с использованием темы по умолчанию, и это ведет себя так, как ожидалось. Итак, я внимательно изучил другие темы и обнаружил, что не все эти темы имеют эту проблему.
Решением было отредактировать код темы (twilight.xml), чтобы вставить следующие строки:
<style name="selection" background="orange" />
<style name="selection-unfocused" foreground="white" background="gray" />
Кстати, расположение тем в gEdit 3 отличается от gEdit 2. Вот он:
~/.local/share/gtksourceview-3.0/styles/
Вы можете создать каталог самостоятельно, если он не существует. Дополнительная информация о путях стилей здесь: http://live.gnome.org/GtkSourceView/StyleSchemes
сервер. wirehark работает локально. если вы удаляете сервер и запускаете прокси-сервер там, чем это временные метки сервера.
сервер. wirehark работает локально. если вы удаляете сервер и запускаете прокси-сервер там, чем это временные метки сервера.