[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Standardized access to a REPL
From: |
Philip Kaludercic |
Subject: |
Re: Standardized access to a REPL |
Date: |
Sun, 20 Nov 2022 09:25:53 +0000 |
Stefan Monnier <monnier@iro.umontreal.ca> writes:
>> "C-c C-c" doesn't mean DWIM, it means "I'm done with whatever I was
>> doing, use the result as appropriate".
>
> I agree, and I suspect Philip agrees as well :-)
Yes, I didn't phrase that perfectly. What I had in mind was Org's usage
of C-c C-c that is context sensitive.
- Re: Suggesting that feature/tree-sitter be merged (was Re: Tree-sitter and major mode inheritance), (continued)
- Re: Suggesting that feature/tree-sitter be merged (was Re: Tree-sitter and major mode inheritance), Philip Kaludercic, 2022/11/18
- Re: Suggesting that feature/tree-sitter be merged (was Re: Tree-sitter and major mode inheritance), Yuan Fu, 2022/11/18
- Re: Suggesting that feature/tree-sitter be merged (was Re: Tree-sitter and major mode inheritance), Stefan Monnier, 2022/11/18
- Re: Suggesting that feature/tree-sitter be merged (was Re: Tree-sitter and major mode inheritance), Philip Kaludercic, 2022/11/19
- Standardized access to a REPL (was: Suggesting that feature/tree-sitter be merged), Stefan Monnier, 2022/11/19
- Re: Standardized access to a REPL, Philip Kaludercic, 2022/11/19
- Re: Standardized access to a REPL, Stefan Monnier, 2022/11/19
- Re: Standardized access to a REPL, Philip Kaludercic, 2022/11/19
- Re: Standardized access to a REPL, Eli Zaretskii, 2022/11/19
- Re: Standardized access to a REPL, Stefan Monnier, 2022/11/19
- Re: Standardized access to a REPL,
Philip Kaludercic <=
- Re: Suggesting that feature/tree-sitter be merged (was Re: Tree-sitter and major mode inheritance), Eli Zaretskii, 2022/11/19
- Re: Suggesting that feature/tree-sitter be merged (was Re: Tree-sitter and major mode inheritance), Philip Kaludercic, 2022/11/19
- Re: Suggesting that feature/tree-sitter be merged (was Re: Tree-sitter and major mode inheritance), Eli Zaretskii, 2022/11/19
- Re: Suggesting that feature/tree-sitter be merged (was Re: Tree-sitter and major mode inheritance), Philip Kaludercic, 2022/11/19
- Re: Suggesting that feature/tree-sitter be merged (was Re: Tree-sitter and major mode inheritance), Eli Zaretskii, 2022/11/19
- Re: Suggesting that feature/tree-sitter be merged (was Re: Tree-sitter and major mode inheritance), Dmitry Gutov, 2022/11/19
Re: Suggesting that feature/tree-sitter be merged (was Re: Tree-sitter and major mode inheritance), Yuan Fu, 2022/11/18