android icon indicating copy to clipboard operation
android copied to clipboard

Insert --> Insert... does nothing

Open rwst opened this issue 11 years ago • 0 comments

The Insert menu contains an item "Insert..." suggesting further dialog but nothing happens, at all. What is intended to happen?

One user would like to have "Custom addition of inserts for blocks I frequently use." This would mean a macro facility. I think useful would also be to present insert options for "symbolic variable", "polynomial ring", "power series ring", and intmod.

rwst avatar Jan 05 '14 20:01 rwst