mirror of
https://github.com/rabbibotton/clog.git
synced 2025-12-28 04:41:48 -08:00
change close icon on repl console
This commit is contained in:
parent
3205021ecb
commit
1b9cc4304a
3 changed files with 9 additions and 2 deletions
|
|
@ -72,7 +72,8 @@
|
|||
left top
|
||||
(editor-use-console-for-evals *editor-use-console-for-evals*)
|
||||
has-time-out
|
||||
maximized)
|
||||
maximized
|
||||
(closer-html "×"))
|
||||
"Open a new text editor"
|
||||
(let ((win (window-to-top-by-title obj open-file)))
|
||||
(when win
|
||||
|
|
@ -98,6 +99,7 @@
|
|||
:width 700 :height 480
|
||||
:has-pinner is-console
|
||||
:keep-on-top is-console
|
||||
:closer-html closer-html
|
||||
:client-movement *client-side-movement*))
|
||||
(box (create-panel-box-layout (window-content win)
|
||||
:left-width 0 :right-width 0
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue