Add a GUI notification when the ceasefire ended so that devs and modders can do fancy...
commit7532c4633c83daf1bd1b082f97b4ba72be6961c6
authorelexis <elexis@3db68df2-c116-0410-a063-a993310a9797>
Thu, 2 Mar 2017 18:02:59 +0000 (2 18:02 +0000)
committerelexis <elexis@3db68df2-c116-0410-a063-a993310a9797>
Thu, 2 Mar 2017 18:02:59 +0000 (2 18:02 +0000)
treeaf48de3d095d81e86aa976a8c874220fdbbf1657
parenta6db04f4e460ed8251b4b5097a7e3e926f3c4b38
Add a GUI notification when the ceasefire ended so that devs and modders can do fancy things with that event and
use it to fix an oversight in rP19257 (the diplomacy dialog wasn't updated).

Differential Revision: https://code.wildfiregames.com/D181
Reviewed By: mimo

git-svn-id: http://svn.wildfiregames.com/public/ps/trunk@19260 3db68df2-c116-0410-a063-a993310a9797
binaries/data/mods/public/gui/session/messages.js
binaries/data/mods/public/simulation/components/CeasefireManager.js