| Author | DaveJarvis <email> |
|---|---|
| Date | 2020-12-16 23:46:06 GMT-0800 |
| Commit | b18a848438592436f0b120120645243d008c7946 |
| Parent | c628b5e |
| Delta | 2 lines added, 0 lines removed, 2-line increase |
| import com.keenwrite.editors.TextEditor; | ||
| import com.keenwrite.io.File; | ||
| +import com.keenwrite.preferences.UserPreferencesView; | ||
| import com.keenwrite.processors.ProcessorContext; | ||
| import com.keenwrite.search.SearchModel; | ||
| public void edit‿preferences() { | ||
| + UserPreferencesView.getInstance().show(); | ||
| } | ||