Merge remote-tracking branch 'origin/developer' into developer

public/index.html

                         console.log("searching: err: " + e + f + g);
                     })
                 },
+                list_messages: function () {
+            $.ajax({url: "api/msg/ids", method: "GET"})
+             .done(jd => {
+                // NICHT SO wg. Vue: _messagelist = jd;
+                _messagelist.splice(0, _messagelist.length);
+                _messagelist.push.apply(_messagelist, jd);
+                //console.log("jd: "+jd);
+                for (var e in jd) {
+                        if (!_messages[jd[e]]) {
+                            get_insert_message(jd[e]);
+                        }
+                }
+            }).fail(function (e, f, g) {
+                console.log("list_msg: err: " + e + f + g);
+            });
+        },
                 getFilteredTags(text) {
 					this.taglist = dat.filter((option) => {
 					return option
 
 					this.isSearchActiv = false;
 					this.searchtext = "";
-					listMessages();
+					this.list_messages();
 				},
 
 			},