Opened 6 years ago
Closed 6 years ago
#5430 closed enhancement (fixed)
OMEdit Documentation
| Reported by: | anonymous | Owned by: | Adeel Asghar |
|---|---|---|---|
| Priority: | low | Milestone: | 1.14.0 |
| Component: | OMEdit | Version: | |
| Keywords: | Cc: |
Description
In the Setting section of the OMEdit documentation, it is mentioned that settings can be set through "The Options Dialog".
What about substituting "Options" with "Tools|Options"?
Change History (3)
comment:1 by , 6 years ago
comment:2 by , 6 years ago
I makes sense to use Options in the documentation instead of settings since the menu item in OMEdit is called Options.
comment:3 by , 6 years ago
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Done in 20862b7/OpenModelica-doc.
Note:
See TracTickets
for help on using tickets.
Even better would be to use the same name in both cases (menu under Tools and documentation).
Whatever is better: either "Options" or "Settings"