So, is there a graphical text reader or editor that automatically refreshes its text if the file is completely changed outside of it? I found that gedit detects file changes but refresh is not ...
I often have longer redundant log files, redundant in the sense that blocks of text repeat with minor changes. The length of the files makes it difficult to spot the actual information. I had the idea ...
In the panel, how can I remove the text next to the icons of my active programs? All I want to show is the icon. Specifically, in the example below, I want to get rid of where it says "Disc...", ...
I use Mint 13 with Gnome Shell 3.4. For the last month or two I have had an issue that randomly occurs, and once it does only logging out or rebooting fixes it. I randomly have a problem that causes ...
I would like to have a table of content, and/or section numbering and section titles in a plain text file, without having to write them as much as possible, and with only writing the main text. Is ...