Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Shortcut for some entries in Edit Menu are not shown #136

Closed
zamdzhiev opened this issue May 12, 2014 · 2 comments
Closed

Shortcut for some entries in Edit Menu are not shown #136

zamdzhiev opened this issue May 12, 2014 · 2 comments
Assignees
@zamdzhiev
Labels
bug
Milestone
Quantomatic v1.0

Comments

@zamdzhiev
Copy link
Contributor

Cut, Copy, Paste and Snap to Grid have working shortcuts, but they are not shown in the
Edit Menu and are therefore hard to discover by users. However, the shortcuts for Undo and Redo are shown.
@zamdzhiev zamdzhiev added this to the QuantoDerive 1.0.0 milestone May 12, 2014
@zamdzhiev zamdzhiev self-assigned this May 12, 2014
@zamdzhiev
Copy link
Contributor Author

Fixed by removing the shortcuts from GraphEditController and enabling them in the menu itself

akissinger added a commit that referenced this issue May 17, 2014
@akissinger
Revert "fix #136 -- Shortcut for some entries in Edit Menu are not sh…
a8a24ae 
…own". This clobbers copy/paste in derivations.

This reverts commit c5ea602.
@akissinger akissinger reopened this May 17, 2014
@akissinger
Copy link
Member

Reverted this change, since it clobbers copying from derivation. Perhaps we should just remove these menu items, since copy/paste is very focus-sensitive.

lyhlbyl added a commit that referenced this issue Jun 26, 2014
@lyhlbyl
Merge branch 'integration' into tinker
f685eeb 
* integration: (124 commits)
  fixed isabelle loading
  set min worker pool to 4
  pushed osx version
  included 100MS wait, seems to fix #145
  included heap building in dist scripts
  change non-worker forks to Thread.fork, not Future.fork, to save workers for actual workers. Fixes #144.
  prevent core actor from accidentally running any swing initialisation code
  fixed type stuff
  Revert "fix #136 -- Shortcut for some entries in Edit Menu are not shown". This clobbers copy/paste in derivations.
  simplified io for red-green (and in general). zeroes no longer get created
  more descriptive menu text for export and properly enable/disable export and "snap to grid"
  fix #136 -- Shortcut for some entries in Edit Menu are not shown
  fix #138 -- Require user to save file before exporting to tikz
  progress on #125 support for exporting parallel edges to tikz
  fix bug in data.Graph and add a new method
  fix padding issues for tikz export
  progress on #125, exporting derivations works now
  exporting rules works now
  refactor tikzit export code into graphview so it can be reused
  progress on tikz export -- exporting graphs is OK except for parallel edges
  ...

Conflicts:
	core/isabelle/io.thy
	scala/build.sbt
	scala/project/plugins.sbt
	scala/src/main/scala/quanto/data/VData.scala
	scala/src/main/scala/quanto/gui/GraphDocument.scala
	scala/src/main/scala/quanto/gui/GraphEditController.scala
	scala/src/main/scala/quanto/gui/GraphEditPanel.scala
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@zamdzhiev zamdzhiev

Labels
bug
Projects
None yet
Milestone
Quantomatic v1.0
Development

No branches or pull requests
2 participants
@akissinger @zamdzhiev