tuned signature --- avoid confusion with init_view(buffer: Buffer, text_area: JEditTextArea);