Skip to content

Commit

Permalink
Merge pull request #138 from Integration-Automation/dev
Browse files Browse the repository at this point in the history
Dev
  • Loading branch information
JE-Chen authored Oct 17, 2023
2 parents 94b4177 + e680289 commit 7df478f
Show file tree
Hide file tree
Showing 5 changed files with 7 additions and 6 deletions.
2 changes: 1 addition & 1 deletion dev.toml
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ build-backend = "setuptools.build_meta"

[project]
name = "je_editor_dev"
version = "0.0.190"
version = "0.0.192"
authors = [
{ name = "JE-Chen", email = "jechenmailman@gmail.com" },
]
Expand Down
2 changes: 1 addition & 1 deletion exe/a.py
Original file line number Diff line number Diff line change
@@ -1 +1 @@
print("你好")
print("你好")
Original file line number Diff line number Diff line change
Expand Up @@ -59,7 +59,7 @@ def __init__(self, main_window: Union[EditorWidget, FullEditorWidget]):
self.update_line_number_area_width(0)
self.textChanged.connect(self.highlight_current_line)
self.setTabStopDistance(
QtGui.QFontMetricsF(self.font()).horizontalAdvance(' ') * 4
QtGui.QFontMetricsF(self.font()).horizontalAdvance(" ")
)
self.highlighter = PythonHighlighter(self.document())
self.highlight_current_line()
Expand Down
5 changes: 3 additions & 2 deletions je_editor/pyside_ui/main_ui/editor/editor_widget.py
Original file line number Diff line number Diff line change
Expand Up @@ -187,6 +187,7 @@ def close(self) -> bool:
if self.code_save_thread is not None:
self.code_save_thread.still_run = False
self.code_save_thread = None
file_is_open_manager_dict.pop(str(Path(self.current_file)), None)
auto_save_manager_dict.pop(self.current_file, None)
if self.current_file:
file_is_open_manager_dict.pop(str(Path(self.current_file)), None)
auto_save_manager_dict.pop(self.current_file, None)
return super().close()
2 changes: 1 addition & 1 deletion pyproject.toml
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ build-backend = "setuptools.build_meta"

[project]
name = "je_editor"
version = "0.0.175"
version = "0.0.177"
authors = [
{ name = "JE-Chen", email = "jechenmailman@gmail.com" },
]
Expand Down

0 comments on commit 7df478f

Please sign in to comment.