mirror of
https://github.com/tiennm99/serena.git
synced 2026-10-13 18:16:10 +00:00
Dashboard: don't rebuild html if config data hasn't changed
This commit is contained in:
1 parent
23daf48589
commit
5cb3bf9a88
3 files changed
+300
-443
No files matched your search
@@ -60,5 +60,6 @@ initial_prompt: ""
|
||||
project_name: "serena"
|
||||
languages:
|
||||
- python
|
||||
- typescript
|
||||
included_optional_tools: []
|
||||
encoding: utf-8
|
||||
File diff suppressed because it is too large.
Load diff
@@ -298,7 +298,7 @@
|
||||
<div id="edit-serena-config-modal" class="modal" style="display:none">
|
||||
<div class="modal-content modal-content-large">
|
||||
<span class="modal-close modal-close-edit-serena-config">×</span>
|
||||
<h3 style="margin-bottom: 10px;">Serena Configuration</h3>
|
||||
<h3 style="margin-bottom: 10px;">Global Serena Configuration</h3>
|
||||
<p style="margin: 10px 0 20px 0; color: var(--text-muted); font-size: 13px; line-height: 1.5;">
|
||||
Note: Changes to the configuration will only take effect after Serena is restarted.
|
||||
</p>
|
||||
|
||||
Reference in new issue
Block a user