btn("Replace", 'R', new P0() {public void e() {
					if (regex[0]) {
						if (matcher[0] != null) {
							String replace = matcher[0].pattern().matcher(matcher[0].group()).replaceAll(tfReplace.getText());
							tp.replaceSelection(replace);
							findForward.e();
						}
					} else {
						tp.replaceSelection(tfReplace.getText());
						findForward.e();
					}
				}}