Yes, there's a ticket, but that's all you ever get as an answer when asking about OMEMO. Is it actually planned? Has the work started? Any rough estimation when it might be implemented? In few weeks / months? A year? Five years?
Currently there simply isn't any desktop client that does OMEMO in a user friendly way (Gajim is a bad example), but there are really good options on mobile side (Conversations).
More information about formatting options
Drupal Design and Maintenance by New Eon Media
Drupal Development by Chapter Three