Pytania oznaczone «gedit»

8
Utwórz niestandardowe wyróżnienie składni w gedit

Podążając za moim pytaniem z dawna, wciąż próbuję ulepszyć moje możliwości zarządzania fortuną. Wyświetlanie w terminalu jest niesamowite, pozostaje tylko jedna rzecz - podświetlanie składni w Gedit podczas dodawania, edytowania lub usuwania poszczególnych fortun. Moje niestandardowe pliki fortuny...

8
Skonfiguruj gedit, aby zawsze otwierał się w nowym oknie

Chciałbym skonfigurować gedit, aby za każdym razem, gdy kliknę dwukrotnie plik tekstowy, otworzy się w nowym oknie zamiast nowej karty. Jak można to zrobić? Coś jak, gedit --new-window "file name" , ale podwójnym kliknięciem Używanie ubuntu 12.04 z cynamonem i gedit - wersja...

8
gEdytuj problem z kolorem zaznaczonego tekstu

Mam dziwny problem z używaniem gEdit. Jest to gEdit 3.2 w Ubuntu 11.10. Kiedy wybieram fragment tekstu, powinien to być biały tekst na pomarańczowym tle (domyślnie Unity 11.10). Nagle zaczęło działać inaczej: kiedy wybieram tekst, jest to biały tekst na rzeczywistym kolorze tła (na przykład biały...

8
Jak dostosować margines dla numerów linii w gEdit?

Ostatnio byłem w stanie zwiększyć lewy margines między kodem a numerami linii w Gedit (edytor tekstu Gnome) w Ubuntu 12.10. Nie pamiętam, jak to osiągnąłem, ani nie pamiętam, jak Gedit powrócił do klasycznego marginesu, który jest dla mnie bardzo wąski. Zobacz zrzut ekranu: Czy ktoś wie, jak mogę...

8
Usuwanie historii z ~ / .bash_history

Mam kilka pytań na temat historii terminala lub wiersza poleceń, która jest przechowywana ~/.bash_history. Widzę plik w terminalu z historypoleceniem, ale jeśli spróbuję go otworzyć, gedit bash_historyplik jest całkowicie pusty. Dlaczego? Znalazłem sposób usunięcia określonej liczby wierszy w...