||in the source editor, the pageup goes one more line than the page down. i'm guessing this is a jvm bug? does anyone know if it's been fixed?
anyway, i was wondering if it was possible to enable auto-indent somehow? it's a small thing but it's annoying to add the spaces i want to get the desired indentation. i'm not sure if it would be a lot of coding or what, but if it's possible it would be a nice feature (maybe an option, with a checkbox?).