diff options
author | mitchell <70453897+667e-11@users.noreply.github.com> | 2020-07-25 19:04:03 -0400 |
---|---|---|
committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2020-07-25 19:04:03 -0400 |
commit | dfcb98978d6fba1d9a79279d01b05cc2fd184556 (patch) | |
tree | 73c4866ffe16b8d76fe8c2c35f69e7de985aabfb /MEDIA.md | |
parent | 0d5da9856b32cfd1cd91704f32620c00af82b125 (diff) |
Fixed initial setting of `ui.find.replace_entry_text` in the GUI.
GtkEntries are initialized with the same initial text pointer, which makes it
impossible to initially differentiate between `find_text` and `repl_text` by
their text pointers alone.
Diffstat (limited to 'MEDIA.md')
0 files changed, 0 insertions, 0 deletions