Geany is by no means Windows only. In fact IMHO it fits in better in GNU/Linux. Of course, I'd assume your students who don't use Windows instead use a Mac. Geany runs on that too, albeit apparently not officially.
"Kill the Wabbit, Kill the Wabbit, Kill the Wabbit!" -- Looney Tunes, "What's Opera Doc?" (1957, Chuck Jones)