Yup, that check box is definitely missing on Slickedit for linux 13.0.1.0.
That's the only difference I've seen to far in the UI (I've seen the windows version before). Pretty wierd, maybe it is because fonts are more difficult to configure on linux or something?
Thanks anyway