Amr Younis
Amr Younis
I am really happy with this option, especially at startup. while it looks natural for the startup one to be quick take, the menu-based one needs to add analysis or...
``` java.lang.NullPointerException: Cannot invoke "com.intellij.openapi.editor.Editor.getScrollingModel()" because "inputEditor" is null at org.antlr.intellij.plugin.profiler.ProfilerPanel.highlightInputPhrases(ProfilerPanel.java:241) at org.antlr.intellij.plugin.profiler.ProfilerPanel.lambda$createUIComponents$1(ProfilerPanel.java:387) at java.desktop/javax.swing.DefaultListSelectionModel.fireValueChanged(DefaultListSelectionModel.java:224) at java.desktop/javax.swing.DefaultListSelectionModel.fireValueChanged(DefaultListSelectionModel.java:191) at java.desktop/javax.swing.DefaultListSelectionModel.setValueIsAdjusting(DefaultListSelectionModel.java:728) at java.desktop/javax.swing.plaf.basic.BasicTableUI$Handler.setValueIsAdjusting(BasicTableUI.java:992) at java.desktop/javax.swing.plaf.basic.BasicTableUI$Handler.mouseReleased(BasicTableUI.java:1205) at java.desktop/java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:298) at java.desktop/java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:297) at java.desktop/java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:297) at...
it is not clear which is which: 
I experience unstable behavior from the extension. once installed the first time, it worked fine. later on, all right click commands for displaying graphs reveal this message "No rule selected"....
I print a simple tree but found that some branch is misaligned. i tried both ascii and unicode as per the following snapshots  
Hi, let me first thank you for this effort. I encountered this:**> λxy.z **F:=λxy.z Name Error: Expression contains free variables z. Assigned values cannot have free variables in this REPL.**...
Traceback (most recent call last): File "G:\Python3105\lib\site-packages\tornado\web.py", line 1713, in _execute result = await result File "G:\Python3105\lib\asyncio\tasks.py", line 304, in __wakeup future.result() File "G:\Python3105\lib\site-packages\tornado\gen.py", line 776, in run yielded =...
how to connect to a tcp port, used to be 33333. I am using the webots simulator.
hi, I appreciate if you could provide prebuilt binaries for windows as the installation steps you mentioned is very technical