The option "autoreload without notification" is only available in buffer options. In the General Options pane, the apropriate List has 4 items, but the last item is empty and can't be selected. jedit 4.3pre9 WinXP SP2 Sun JRE 1.5.0_10