as its been one day I will offer some advice but claim no expertise.
first what do you mean by standard mice?
are they wired mouse connecting to PS/2 ports
are they PS/2 mice with an adapter to connect to usb port
are they wireless mice with a dongle in usb port?
Got the idea?
Now we can do some commands to help in that area....depending on my early request
post the output to
dmesg | grep PS/2
my result no ps/2
[ 0.984274] i8042: PNP: No PS/2 controller found.
dmesg | grep Mouse
[ 1.753448] usb 1-4: Product: USB Optical Mouse
[ 1.756108] input: Logitech USB Optical Mouse as /devices/pci0000:00/0000:00:14.0/usb1/1-4/1-4:1.0/0003:046D:C05A.0003/input/input7
[ 1.756207] hid-generic 0003:046D:C05A.0003: input,hidraw2: USB HID v1.11 Mouse [Logitech USB Optical Mouse] on usb-0000:00:14.0-4/input0
[ 0.984372] mousedev: PS/2 mouse device common for all mice
Next Menu -> Preferences -> Mouse (I am on 19.04 YMMV)
the GUI says you can test double click and you will get a nice light if it works properly
BUT you can use it to single click it as well.
the forum truncates the image so shown as clickable link but I could not time the light for a single click
Next try inserting the mouse into different ports if not PS/2
Next, try asking the students to report if mouse issues occur after using touch screen.
If so .....ask not to use touch screen?