On Fri, 2013-07-19 at 11:44 +0200, Éloi Rivard wrote: > When the program starts, all shortcuts are loaded. There is nothing > lazy here, isn't it ? correct, there is no lazy evaluation of shortcuts.
> > I would like to merge .shortcuts into .commands since a shortcut > profile is often associated with a command profile we have stopped using the profile mechanism that would load a different .commands and .shortcuts file, because, in practice no-one tested anything other than their own profile, so in particular the default simple profile would be broken. As I mentioned, we split commands and shortcuts apart because shortcuts are small files which could be loaded during the use of the program, while the commands file is large and will get ever larger as new areas of music notation are added. Eventually, I guess we will not want load all commands at startup, as there will be so many, but for now we do and even on a fast machine it takes a little time. If an educational game wanted to load a set of shortcuts for playing the game, we would not want to load the entire command set again. But, at the moment I am not sure this mechanism is in use, and really a comprehensive, future-proof design is needed. Simply lurching back to the way it was before with commands and shortcuts all in one file doesn't sound good. We ran into problems and so I split them apart. Richard > (even if they are not used now). What do you think ? > > > > 2013/7/18 Richard Shann <[email protected]> > On Thu, 2013-07-18 at 15:21 +0200, Éloi Rivard wrote: > > Hi, > > > > I wonder if it is really useful to keep command files and > shortcuts in > > different files. > > What do you think ? > > > They were originally in one file. I don't recall exactly what > splitting > them was about: I would imagine the idea was that it a command > could > load a (small) set of shortcuts for a task. This would be > quicker than > processing the entire set of commands (which even now is only > a tiny > fraction of the things LilyPond could handle). > > Richard > > > > > > -- > > Éloi Rivard - [email protected] > > > > « On perd plus à être indécis qu'à se tromper. » > > > > > _______________________________________________ > > Denemo-devel mailing list > > [email protected] > > https://lists.gnu.org/mailman/listinfo/denemo-devel > > > > > > -- > Éloi Rivard - [email protected] > > « On perd plus à être indécis qu'à se tromper. » > _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
