Console dismiss duplicates and increase font size

[Langbart]

Since [2266] the user can set the number of entries that are stored in the console.txt file. This allows the use of the UP/DOWN arrows to go back/forward in the history within the console.

# add this to your user.cfg file and only 100 entries will be stored
console.history.size = 100

duplicates

Allow to set only unique entries and remove old entries if a new entry is a duplicate.

related example: shell

setopt HIST_IGNORE_DUPS       # Don't record an entry that was just recorded again.
setopt HIST_IGNORE_ALL_DUPS   # Delete old recorded entry if new entry is a duplicate.

font size

Allow to set the font size in the console or even better, make it larger by default. Currently it is: mono-10. See wiki/Font_Builder2 for creating a larger font.

source/ps/CConsole.cpp​

Line
48	namespace
49	{
50
51	// For text being typed into the console.
52	constexpr int CONSOLE_BUFFER_SIZE = 1024;
53
54	const char* CONSOLE_FONT = "mono-10";
55
56	} // anonymous namespace

Alternatively, render the mono-10 font with 2pts bigger. Idea from @ffm2's ​ffm_4k mod.

nitpick

• allow to define the prompt character

[Langbart]

• nitpick and change changset number