Client-side Topicmaps API should have a add_topicmap() method

[jri]

add_topicmap(topicmap_id)

It would add a topicmap to the menu, select it, and displays it.
A 3rd-party plugin would call it once it has created a new topicmap at server-side and now wants to introduce it to the webclient GUI.

This is needed by the import/export plugin realized by Carolina.

[Jörg Richter]

Topicmaps module: refactor plugin.js (#656).

In preparation of "Client-side Topicmaps API should have an add_topicmap() method".

See #656

• Changeset: 8ffbf4f2b5071c3e9e750406727de2a3468bb1ef
• URL: ​https://github.com/jri/deepamehta/commit/8ffbf4f2b5071c3e9e750406727de2a3468bb1ef

[Jörg Richter]

Topicmaps API: client-side add_topicmap() (#656).

The client-side Topicmaps API provides an add_topicmap() method:

dm4c.get_plugin("de.deepamehta.topicmaps").add_topicmap(topicmap_id)

Plugins can call this method when they have created a topicmap (at server-side) and now want display it.

See #656

• Changeset: f2e306905adbf6e0bc26367028da626a5c4d59b5
• URL: ​https://github.com/jri/deepamehta/commit/f2e306905adbf6e0bc26367028da626a5c4d59b5

[Jörg Richter]

Topicmaps: some refactoring (#656).

BREAKING CHANGE

2 methods of public Topicmaps API are renamed:

do_select_topicmap() -> select_topicmap()
do_create_topicmap() -> create_topicmap()

See #656

• Changeset: d71b79361da8129754557222911224f49e475989
• URL: ​https://github.com/jri/deepamehta/commit/d71b79361da8129754557222911224f49e475989