pascal-niklaus

I experience the same (?) problem using elpy 1.17. In a venv setup, I installed python3 (python --version indicates 3.6.3). I manage to activate this venv in elpy, but unfortunately...

This report seems to be old, but since I possibly experience the same phenomenon, here two screen shots (obtained with autocomplete 1.5.0 and ESS): 1) font size decreased with C-x...

> I have some comments at the respective code lines and some general thoughts. > > The general ones: > > * So this is essentially the meta-tool called toolswitcher...

> Regarding this one, I think a CLI toolswitcher is something we would like to have. > > Not sure if a tool-redefiner would add too much extra complexity. I'd...

I have now integrated the content of "parser.c/parser.h" into config.c/config.h, as suggested. Now, two command-line options are available for tool changes: 1. Using `--change-tool` or `-T`, a complete tool definition...

Now all changes requested should be addressed, and the PR be compatible with the current master. Re your question: - code refactoring in config: I agree that moving the config...

A working prototype can be found at https://github.com/pascal-niklaus/gromit-mpx/tree/devel_change_tool It allows modifying tools like so: ``` gromit-mpx --deftool '"default"=PEN(color="#ff88ff" size=5 arrowsize=2)' gromit-mpx --deftool '"default"[CONTROL]=PEN(color="#80ffff" size=5 arrowsize=2)' gromit-mpx --deftool '"default"[CONTROL]="blue Pen" (size=5)'...

> # Implementation > > * GList of GfxObject should be added to device data to have these per input device aka user in multi-user setups > * OR have...

I have now refined the proposal and added it as ADR, under doc/architecture/decisions/0002. In particular, it now contains an undo/redo mechanism that should work with multiple users. Please comment.

Some more thoughts: **RECOLOR** will have to go, I think. **ERASER** should go as well, I think. One could of course draw with a corresponding pen, but maybe it is...