Opened 12 years ago

Closed 11 years ago

Last modified 10 years ago

#113 closed Bug (wontfix)

Round the workspace scaling factor

Reported by: Matthäus Wander Owned by: Thomas Schmid
Priority: Nice to have Milestone:
Component: AnotherEditor Keywords:


Don't show the positions after the decimal point.

Change History (2)

comment:1 Changed 11 years ago by Matthäus Wander

Resolution: wontfix
Status: newclosed

Has been implemented in new WorkspaceManager. Won't maintain old AnotherEditor.

comment:2 Changed 10 years ago by Matthäus Wander

Milestone: CrypTool 2.0 RELEASE
Note: See TracTickets for help on using tickets.