Improve console plugin (#77)

docs/plugins/console.md

@@ -0,0 +1,3 @@
+## Key bindings
+
+The console allows typing code and executing it. When you type code, hiting `Enter` doesn't execute it but instead creates a new line, so that you can continue typing and have a multi-line block of code. To execute the code, just hit `Ctrl-R`.

docs/usage/key_bindings.md

@@ -1,3 +1,4 @@
 Depending on the context, some commands can be triggered using key bindings. For instance, when editing a notebook, cells can be executed, created or deleted using special keys. The following are links to key bindings for various plugins:
 
 - [Notebook editor](../plugins/notebook_editor.md#key-bindings)
+- [Console](../plugins/console.md#key-bindings)

mkdocs.yml

@@ -35,7 +35,7 @@ nav:
   - usage/key_bindings.md
 - Plugins:
   - plugins/Cell.md
-  - plugins/Console.md
+  - plugins/console.md
   - plugins/Editors.md
   - plugins/File_browser.md
   - plugins/Image_viewer.md

plugins/cell/txl_cell/components.py

@@ -23,6 +23,8 @@ def __init__(self, ycell, show_border: bool = True, *args, **kwargs):
         self._selected = False
         self.set_styles(css="height: auto; max-height: 100%;")
         self.is_code = ycell["cell_type"] == "code"
+        if not show_border:
+            self.set_styles(css="border: none;")
         if self.is_code and show_border:
             self.set_styles(css="border: round yellow;")
 

plugins/console/txl_console/components.py

@@ -55,7 +55,7 @@ def on_select_kernel(self):
             ycell=self.ynb.ycells[self.cell_i],
             language=self.language,
             kernel=self.kernel,
-            show_execution_count=False,
+            show_execution_count=True,
             show_border=False,
         )
         self.mount(cell)
@@ -82,7 +82,7 @@ def on_change(self, target, events):
                                     ycell=c,
                                     language=self.language,
                                     kernel=self.kernel,
-                                    show_execution_count=False,
+                                    show_execution_count=True,
                                     show_border=False,
                                 )
                                 if not self.cells: