[wingide-users] Possible bug in OS Commands tool

[Bernt Røskar Brenna]

Hi,
I have a problem with the 'OS Commands' tool. Send Ctrl-? does not
seem to work (Case 1-4 below)

Version: 3.2.2-1 (rev 21060) (rev 21060)
OS Version: Linux version 2.6.17-12-generic (root at terranova) (gcc
version 4.1.2 20060928 (prerelease) (Ubuntu 4.1.1-13ubuntu5)) #2 SMP
Tue Feb 12 01:17:37 UTC 2008 (Ubuntu 2.6.17-12.44-generic)

Case 1:
Command Line: cat
Use pseudo-tty: no
Line mode: yes

- Right click, select 'Send Ctrl-C', 'Send Ctrl-D', 'Send Ctrl-Z'.
- None of these work

Case 2:
Command Line: cat
Use pseudo-tty: no
Line mode: no

- Right click, select 'Send Ctrl-C', 'Send Ctrl-D', 'Send Ctrl-Z'.
- None work as expected, but Ctrl-D writes EOT to the console.

Case 3:
Command Line: cat
Use pseudo-tty: yes
Line mode: yes

- Right click, select 'Send Ctrl-C', 'Send Ctrl-D', 'Send Ctrl-Z'.
- Same result as case 1

Case 4:
Command Line: cat
Use pseudo-tty: yes
Line mode: no

- Right click, select 'Send Ctrl-C', 'Send Ctrl-D', 'Send Ctrl-Z'.
- Same result as case 2



Bernt