From a1b70d8dac8085eed2bb5be21e40e6ece0057184 Mon Sep 17 00:00:00 2001
From: DeMartiniFrancesco
<73547745+deMartiniFrancesco@users.noreply.github.com>
Date: Mon, 26 Sep 2022 09:28:43 +0200
Subject: [PATCH 1/8] Create pyre.yml
---
.github/workflows/pyre.yml | 46 ++++++++++++++++++++++++++++++++++++++
1 file changed, 46 insertions(+)
create mode 100644 .github/workflows/pyre.yml
diff --git a/.github/workflows/pyre.yml b/.github/workflows/pyre.yml
new file mode 100644
index 0000000..5ff8885
--- /dev/null
+++ b/.github/workflows/pyre.yml
@@ -0,0 +1,46 @@
+# This workflow uses actions that are not certified by GitHub.
+# They are provided by a third-party and are governed by
+# separate terms of service, privacy policy, and support
+# documentation.
+
+# This workflow integrates Pyre with GitHub's
+# Code Scanning feature.
+#
+# Pyre is a performant type checker for Python compliant with
+# PEP 484. Pyre can analyze codebases with millions of lines
+# of code incrementally – providing instantaneous feedback
+# to developers as they write code.
+#
+# See https://pyre-check.org
+
+name: Pyre
+
+on:
+ workflow_dispatch:
+ push:
+ branches: [ "master" ]
+ pull_request:
+ branches: [ "master" ]
+
+permissions:
+ contents: read
+
+jobs:
+ pyre:
+ permissions:
+ actions: read
+ contents: read
+ security-events: write
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v3
+ with:
+ submodules: true
+
+ - name: Run Pyre
+ uses: facebook/pyre-action@60697a7858f7cc8470d8cc494a3cf2ad6b06560d
+ with:
+ # To customize these inputs:
+ # See https://github.com/facebook/pyre-action#inputs
+ repo-directory: './'
+ requirements-path: 'requirements.txt'
From cde6cababf119a17e2b31e30e3447f2b2bdaf6e2 Mon Sep 17 00:00:00 2001
From: deMartiniFrancesco <18606@studenti.marconiverona.edu.it>
Date: Mon, 26 Sep 2022 09:42:02 +0200
Subject: [PATCH 2/8] Test security issue
---
.idea/ProjectManager.iml | 2 +-
.idea/misc.xml | 2 +-
src/gui/pages/settings_pages/edit_header_pages/header_editor.py | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/.idea/ProjectManager.iml b/.idea/ProjectManager.iml
index 9a323b0..74d515a 100644
--- a/.idea/ProjectManager.iml
+++ b/.idea/ProjectManager.iml
@@ -4,7 +4,7 @@
-
+
\ No newline at end of file
diff --git a/.idea/misc.xml b/.idea/misc.xml
index dc9ea49..2e171bd 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -1,4 +1,4 @@
-
+
\ No newline at end of file
diff --git a/src/gui/pages/settings_pages/edit_header_pages/header_editor.py b/src/gui/pages/settings_pages/edit_header_pages/header_editor.py
index 0bf8282..8146416 100644
--- a/src/gui/pages/settings_pages/edit_header_pages/header_editor.py
+++ b/src/gui/pages/settings_pages/edit_header_pages/header_editor.py
@@ -5,7 +5,7 @@
import tkinter
from tkinter import scrolledtext
-from customtkinter import *
+from customtkinter import CTkButton, CTkFrame, CTkLabel
from ... import settings_page_enum
from .....lib import project_lib
From 40fc512cf5ce156bb63faaf330e6434e82ca7529 Mon Sep 17 00:00:00 2001
From: deMartiniFrancesco <18606@studenti.marconiverona.edu.it>
Date: Tue, 27 Sep 2022 10:45:51 +0200
Subject: [PATCH 3/8] Test pyre 2
---
src/gui/pages/settings_pages/edit_variables_page.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/gui/pages/settings_pages/edit_variables_page.py b/src/gui/pages/settings_pages/edit_variables_page.py
index 5c72da7..1cb81b3 100644
--- a/src/gui/pages/settings_pages/edit_variables_page.py
+++ b/src/gui/pages/settings_pages/edit_variables_page.py
@@ -2,7 +2,7 @@
__author__ = "Francesco"
__version__ = "0101 2022/03/16"
-from customtkinter import *
+from customtkinter import CTkFrame, StringVar, CTkEntry, CTkButton, CTkLabel
from ....gui import main_page_enum
from ....lib import project_lib
From 10fad5e81e1037e6446b328f36d40783b67aa6b8 Mon Sep 17 00:00:00 2001
From: FrenkyDema
Date: Wed, 28 Sep 2022 17:16:16 +0200
Subject: [PATCH 4/8] Change import
---
src/gui/pages/settings_pages/edit_header_pages/header_editor.py | 2 +-
src/gui/pages/settings_pages/edit_variables_page.py | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/gui/pages/settings_pages/edit_header_pages/header_editor.py b/src/gui/pages/settings_pages/edit_header_pages/header_editor.py
index 8146416..0bf8282 100644
--- a/src/gui/pages/settings_pages/edit_header_pages/header_editor.py
+++ b/src/gui/pages/settings_pages/edit_header_pages/header_editor.py
@@ -5,7 +5,7 @@
import tkinter
from tkinter import scrolledtext
-from customtkinter import CTkButton, CTkFrame, CTkLabel
+from customtkinter import *
from ... import settings_page_enum
from .....lib import project_lib
diff --git a/src/gui/pages/settings_pages/edit_variables_page.py b/src/gui/pages/settings_pages/edit_variables_page.py
index 1cb81b3..5c72da7 100644
--- a/src/gui/pages/settings_pages/edit_variables_page.py
+++ b/src/gui/pages/settings_pages/edit_variables_page.py
@@ -2,7 +2,7 @@
__author__ = "Francesco"
__version__ = "0101 2022/03/16"
-from customtkinter import CTkFrame, StringVar, CTkEntry, CTkButton, CTkLabel
+from customtkinter import *
from ....gui import main_page_enum
from ....lib import project_lib
From 7ad6d85d59f82563d70733a5499258da1fe9cea0 Mon Sep 17 00:00:00 2001
From: FrenkyDema
Date: Wed, 28 Sep 2022 17:40:42 +0200
Subject: [PATCH 5/8] Import refactoring
---
.idea/ProjectManager.iml | 2 +-
.idea/misc.xml | 2 +-
requirements.txt | Bin 146 -> 1730 bytes
src/gui/main_application.py | 3 ++-
src/gui/pages/main_page.py | 2 +-
src/gui/pages/new_project_page.py | 2 +-
.../new_project_pages/edit_description_page.py | 2 +-
.../new_project_pages/recent_project_page.py | 2 +-
src/gui/pages/settings_page.py | 2 +-
.../pages/settings_pages/edit_header_page.py | 2 +-
.../edit_header_pages/header_editor.py | 2 +-
.../settings_pages/edit_variables_page.py | 2 +-
12 files changed, 12 insertions(+), 11 deletions(-)
diff --git a/.idea/ProjectManager.iml b/.idea/ProjectManager.iml
index 74d515a..9a323b0 100644
--- a/.idea/ProjectManager.iml
+++ b/.idea/ProjectManager.iml
@@ -4,7 +4,7 @@
-
+
\ No newline at end of file
diff --git a/.idea/misc.xml b/.idea/misc.xml
index 2e171bd..dc9ea49 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -1,4 +1,4 @@
-
+
\ No newline at end of file
diff --git a/requirements.txt b/requirements.txt
index 9cda3882e72d86eb21b2581fbacbc81a96570b8a..3db7bd379b05c97ae2958eaa727f0480b728f0fe 100644
GIT binary patch
literal 1730
zcmaKsL2uJg5QO)P#7}WmJCxD`2M*j?sS;c`p~P{V5T}V^rvZLEFyC%oo~feBvJ?5u
z?#|Ba`tP5qbv9UQdz;$MmiAHCwOv_hw|Y+Ot-aC7L71%-Lj2M*{x|m18pl^cR>Bem
zekSaot2>=XzJz*-DC{WQ%z8!Dw$}gQ%z~IZ&sp0-*UC>yuXJ;+SF6&>V`2Zn-zV<1
zvUa-ZZ=*Z)_fDvrQ|5ze)6+)JwK6^Fw^0OGaPM`85_4tP3p00?jcR7D=oS5g8g#>J
zs@%QMy>$Db=T_Mh2RgWQ4xfeS&hJaFdhI6**Z!cYp>=3UkCmUddjG5&&g8Ac0Ujt9
z8ODg$v@TD+;}7%Dcvd`&%#k-KkyUzDkIYa+z#%3f)yJEev_Rw3IjTnIc(T{o(%tFY
ztE1y03!O$Emyw0DJSdvnaLjYD(X__IGOKv{q)IFIp#P6cxVv-D)_S%+1+8O3(S&Gx
z3e#j);#RrVRGpldJ}P?L$(_!!A3JeipTNMG$UvYxd}}>Jl{AI1J2734LbU2PJdZv&
zFJ1T0iYz#U=C}jjm}jb?e&o80E9Ayj*IMy~*f6vBi;pnQT{AO@b>d9jP!0!~*Vtfc
zF(YJL>X%(l^FaTl_AKQJ+-t6pw;E+WdcPCBBmbaUJJrZ8XZ_Ldn|-neyZ8ERcXYva
z?iJf;zf;#!&x?9lY4nQ-)Sbyq_MEuXPke&{^VN9__C=_be>p-!HX!H8S}?;YdvwvN
z0`oBU{MqZ6$>=pyFPv@fy^p_5d5gyA?_zd&FX%Ab!;zzRhimL${(i-`C=g3k22qRW
oR6CM)9erckeoJ3mxzauUW>Jl~jIJ{(e`6NPSt|
Date: Wed, 28 Sep 2022 17:44:51 +0200
Subject: [PATCH 6/8] Revert "Import refactoring"
This reverts commit 7ad6d85d59f82563d70733a5499258da1fe9cea0.
---
.idea/ProjectManager.iml | 2 +-
.idea/misc.xml | 2 +-
requirements.txt | Bin 1730 -> 146 bytes
src/gui/main_application.py | 3 +--
src/gui/pages/main_page.py | 2 +-
src/gui/pages/new_project_page.py | 2 +-
.../new_project_pages/edit_description_page.py | 2 +-
.../new_project_pages/recent_project_page.py | 2 +-
src/gui/pages/settings_page.py | 2 +-
.../pages/settings_pages/edit_header_page.py | 2 +-
.../edit_header_pages/header_editor.py | 2 +-
.../settings_pages/edit_variables_page.py | 2 +-
12 files changed, 11 insertions(+), 12 deletions(-)
diff --git a/.idea/ProjectManager.iml b/.idea/ProjectManager.iml
index 9a323b0..74d515a 100644
--- a/.idea/ProjectManager.iml
+++ b/.idea/ProjectManager.iml
@@ -4,7 +4,7 @@
-
+
\ No newline at end of file
diff --git a/.idea/misc.xml b/.idea/misc.xml
index dc9ea49..2e171bd 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -1,4 +1,4 @@
-
+
\ No newline at end of file
diff --git a/requirements.txt b/requirements.txt
index 3db7bd379b05c97ae2958eaa727f0480b728f0fe..9cda3882e72d86eb21b2581fbacbc81a96570b8a 100644
GIT binary patch
delta 22
ecmX@aJBg9$|G$Z929sGBbtZ=~%T4ZJ6$1cYhzCso
literal 1730
zcmaKsL2uJg5QO)P#7}WmJCxD`2M*j?sS;c`p~P{V5T}V^rvZLEFyC%oo~feBvJ?5u
z?#|Ba`tP5qbv9UQdz;$MmiAHCwOv_hw|Y+Ot-aC7L71%-Lj2M*{x|m18pl^cR>Bem
zekSaot2>=XzJz*-DC{WQ%z8!Dw$}gQ%z~IZ&sp0-*UC>yuXJ;+SF6&>V`2Zn-zV<1
zvUa-ZZ=*Z)_fDvrQ|5ze)6+)JwK6^Fw^0OGaPM`85_4tP3p00?jcR7D=oS5g8g#>J
zs@%QMy>$Db=T_Mh2RgWQ4xfeS&hJaFdhI6**Z!cYp>=3UkCmUddjG5&&g8Ac0Ujt9
z8ODg$v@TD+;}7%Dcvd`&%#k-KkyUzDkIYa+z#%3f)yJEev_Rw3IjTnIc(T{o(%tFY
ztE1y03!O$Emyw0DJSdvnaLjYD(X__IGOKv{q)IFIp#P6cxVv-D)_S%+1+8O3(S&Gx
z3e#j);#RrVRGpldJ}P?L$(_!!A3JeipTNMG$UvYxd}}>Jl{AI1J2734LbU2PJdZv&
zFJ1T0iYz#U=C}jjm}jb?e&o80E9Ayj*IMy~*f6vBi;pnQT{AO@b>d9jP!0!~*Vtfc
zF(YJL>X%(l^FaTl_AKQJ+-t6pw;E+WdcPCBBmbaUJJrZ8XZ_Ldn|-neyZ8ERcXYva
z?iJf;zf;#!&x?9lY4nQ-)Sbyq_MEuXPke&{^VN9__C=_be>p-!HX!H8S}?;YdvwvN
z0`oBU{MqZ6$>=pyFPv@fy^p_5d5gyA?_zd&FX%Ab!;zzRhimL${(i-`C=g3k22qRW
oR6CM)9erckeoJ3mxzauUW>Jl~jIJ{(e`6NPSt|
Date: Wed, 28 Sep 2022 17:47:05 +0200
Subject: [PATCH 7/8] Change import 3
---
.idea/ProjectManager.iml | 2 +-
.idea/misc.xml | 2 +-
src/gui/main_application.py | 5 +++--
3 files changed, 5 insertions(+), 4 deletions(-)
diff --git a/.idea/ProjectManager.iml b/.idea/ProjectManager.iml
index 74d515a..9a323b0 100644
--- a/.idea/ProjectManager.iml
+++ b/.idea/ProjectManager.iml
@@ -4,7 +4,7 @@
-
+
\ No newline at end of file
diff --git a/.idea/misc.xml b/.idea/misc.xml
index 2e171bd..dc9ea49 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -1,4 +1,4 @@
-
+
\ No newline at end of file
diff --git a/src/gui/main_application.py b/src/gui/main_application.py
index 20e77e7..b6587a0 100644
--- a/src/gui/main_application.py
+++ b/src/gui/main_application.py
@@ -1,5 +1,6 @@
import tkinter
+import customtkinter
from PIL import Image
from PIL.ImageTk import PhotoImage
from customtkinter import *
@@ -11,9 +12,9 @@
from ..lib import project_lib
# Modes: "System" (standard), "Dark", "Light"
-set_appearance_mode("Dark")
+customtkinter.set_appearance_mode("Dark")
# Themes: "blue" (standard), "green", "dark-blue"
-set_default_color_theme("blue")
+customtkinter.set_default_color_theme("blue")
class App(CTk):
From 46b0f0c0d4c185ebbaae6e1d949a78ad78560121 Mon Sep 17 00:00:00 2001
From: FrenkyDema
Date: Wed, 28 Sep 2022 18:09:54 +0200
Subject: [PATCH 8/8] Update main_application.py
---
src/gui/main_application.py | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/src/gui/main_application.py b/src/gui/main_application.py
index b6587a0..20e77e7 100644
--- a/src/gui/main_application.py
+++ b/src/gui/main_application.py
@@ -1,6 +1,5 @@
import tkinter
-import customtkinter
from PIL import Image
from PIL.ImageTk import PhotoImage
from customtkinter import *
@@ -12,9 +11,9 @@
from ..lib import project_lib
# Modes: "System" (standard), "Dark", "Light"
-customtkinter.set_appearance_mode("Dark")
+set_appearance_mode("Dark")
# Themes: "blue" (standard), "green", "dark-blue"
-customtkinter.set_default_color_theme("blue")
+set_default_color_theme("blue")
class App(CTk):