History for jrex / src / jrex / ReplacePanel.java
2017-10-30
Implemented save feature. Save replace table on focus change.
Mark George committed on 30 Oct 2017
Merge search/replace dialog into main form. GUI clean-up.
Mark George committed on 30 Oct 2017