#17 (get-char) followed by a tab then enter produces different results

[Ryan Johnston]

In (L)Ubuntu Linux 24.04 in the CLIPS> repl, I am able to get the char int representing the tab character using (get-char) by first hitting the tab key on my keyboard followed by an enter key. In Ubuntu, it returns 9. Doing these same keystrokes in the Windows IDE returns a 10.

[Gary Riley]

Checked in a fix to the repository.