Construct the main menu bar.
Adds the menu to the graph parent DOM element and sets up the event listeners.
Add the menu entries of the options menu. Cannot be done with an entries array because they need an event listener so they have its own function.
an empty array that will be filled with the anchor elements
Applies the options selected in the menu tab "Options", for example Combine Match Mode.
if edges should get different colors by type.
whether day mode is active.
Creates and returns the menus for the top menu bar. The format is an array of menu elements. Each menu element is an object with a "label", unique "id" and an "entries" array. entries is an array of arrays of size two. entries[i][0] is either a link as a string (will be opened on another tab) or a function that will be executed. entries[i][1] is a label as a string. entries[i][2] is an i18 id. entries[i][3] is an optional hotkey. *
the array of menu elements.
Restore session-based options from the output of toJSON().
an option object
Save session-based options (not user preferences) to JSON.
whether subontologies are to be displayed separately.
Sets the preferred node label language attribute. Use the values from node.js.
the language to set
Show all nodes that are connected via close matches to visible nodes.
if edge labels with the property names should always be shown.
Static
aboutNotifies the user of the program version so that errors can be properly reported.
Static
closeClose the dropdown if the user clicks outside of the menu.
a click event
Populates the menu bar on the top and initializes the context menu.