Il 22/01/20 11:00, OlivierBinda ha scritto:
Obviously, making the action menu resizable and dragable was a big
mistake : next time, it'll be anchored at the right side of the window
and will resize automatically automatically
Yes, it's quite clear that the action menu is still rather awkward to
use. And, to be honest, I don't think it is easy to find the right way
to lay it down. It seems to be quite a UX challenge.
Yes, I'll try my best (and take advices)
Also, in the next release, I am planning to filter/order display in a
better way the actions in this menu (because it is a mess at the
moment). It is very hard to do so(it requires human smarts), but I'll
probably be able to do a decent job (with computer smarts).
Another thing I noticed is that the variable name that you write are
different from those that appear in the pretty printed formula. For
example, you write "v1c" and "X" appears in the formula. This is quite
counterintuitive, I believe.
Yes, you are right about that
Internally, Mephistolus uses names like v2s, v8c, v3w
for setvar, classvar and wffvar
But as It is aimed at the general public, my goal is to allow people to
use the variable names they like
x, k,n or it might be stuff like 平 or ひ , etc...
At the moment, I am able to display custom variable names.
But I haven't implemented yet, the translation process to convert a user
variable name like x, to the right variable set/class/wff type
I still have to figure out how to do it. I'll probably try first to
infer if it should be a wff var or not,
go with class var by default and fallback to setvar if it is necessary.
Hopefully, that will work out nicely (or I'll have to think further
about it :) )
ps : sorry for the double mail, I'll probably get it soon ^^
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/fff02e16-8cc0-24d8-663d-701b00add2f4%40gmail.com.
