Opened 7 years ago

Closed 7 years ago

Last modified 7 years ago

#4463 closed enhancement (fixed)

Feature request: show library version number, build, date and library dependencies in tool tip

Reported by: Christian Kral <dr.christian.kral@…> Owned by: Adeel Asghar
Priority: high Milestone: 1.12.0
Component: OMEdit Version:
Keywords: Cc:

Description

When opening a library, it is not obvious to the user, which version this is, expect he is looking into the respective annotation.

Since in OpenModelica a tool tip is shown with some information about the loaded library (see attachment), the following information could be added:

  • version
  • versuibDate
  • versionBuild

as listed in the Modelica Specification, subsection 18.8.4.

On my personal opinion it also makes sense to list all library dependencies (including their version numbers) in the tool tip.

Attachments (1)

tool_tip.png (35.2 KB ) - added by Christian Kral <dr.christian.kral@…> 7 years ago.
Tool tip in OpenModelica Editor

Download all attachments as: .zip

Change History (6)

by Christian Kral <dr.christian.kral@…>, 7 years ago

Attachment: tool_tip.png added

Tool tip in OpenModelica Editor

comment:1 by Adeel Asghar, 7 years ago

Status: newaccepted

It is easy to add this information but adding this to tooltip will means querying the data while loading, which will increase the waiting time for the user.

I suggest we should add a context menu item called Info/Information and when user clicks on it we display the version and build information in a new dialog. In this way the loading time will remain the same.

What do you think?

comment:2 by Christian Kral <dr.christian.kral@…>, 7 years ago

Sounds like a very good solution to me. I think a context menu Information is as good as a tooltip info.

comment:3 by Christian Kral <dr.christian.kral@…>, 7 years ago

Actually, it would be great if the displayed dialog could be closed by pressing the ESC key.

comment:4 by Adeel Asghar, 7 years ago

Resolution: fixed
Status: acceptedclosed

Done in 9eba7c7/OMEdit.

comment:5 by Christian Kral <dr.christian.kral@…>, 7 years ago

Great, I like it a lot. Thanks for implementing this feature.

Note: See TracTickets for help on using tickets.