diff options
| author | Andrew C <achow101@gmail.com> | 2016-03-11 11:57:10 -0500 |
|---|---|---|
| committer | Andrew C <achow101@gmail.com> | 2016-03-11 13:19:19 -0500 |
| commit | 21e45a097e154be6be4a503f2181896c5f761385 (patch) | |
| tree | 73b82f0d92768c3536ea54406c7bd3a33d9f8a76 /src/zmq | |
| parent | 0fa88ef784dda77422fdb20b7358803f9b30a5c1 (diff) | |
Fix history deletion bug after font change
The history is no longer cleared after the font size is changed
Diffstat (limited to 'src/zmq')
0 files changed, 0 insertions, 0 deletions