comparison INSTALL @ 2880:dd650f3e070f

quick frontend(chat): prepared factorisation of merging of user moved info messages: - new MessageWidget class, to have a common ancestor for widgets from different frontends - new message_widgets_rev property to get reverse iterator on message widgets - new isUserMoved method to check if a Message is a user moved info - new handleUserMoved method to merge info message when suitable. This is code from Primitivus made generic.
author Goffi <goffi@goffi.org>
date Thu, 28 Mar 2019 08:39:19 +0100
parents e7bd2945518f
children 457ae6381e2a
comparison
equal deleted inserted replaced
2879:5ba98fd6c9a4 2880:dd650f3e070f