public void Save_as() {
if (this.Active_tab_is_null()) return;
Xog_tab_itm tab = win.Tab_mgr().Active_tab();
String file_name =
Xoa_app_.Utl__encoder_mgr()
.Fsys_safe()
.Encode_str(String_.new_u8(tab.Page().Ttl().Full_url()))
+ ".html";
String file_url =
app.Gui_mgr()
.Kit()
.New_dlg_file(Gfui_kit_.File_dlg_type_save, "Select file to save to:")
.Init_file_(file_name)
.Ask();
if (String_.Len_eq_0(file_url)) return;
Io_mgr.I.SaveFilStr(file_url, tab.Html_box().Text());
app.Usr_dlg().Prog_many("", "", "saved page: file=~{0}", file_url);
}
public void Copy(String v) {
if (String_.Len_eq_0(v)) return;
TextTransfer textTransfer = TextTransfer.getInstance();
clipboard.setContents(new Object[] {v}, new Transfer[] {textTransfer});
}