issues
search
michelleshx
/
Boole
A full-featured front end for George with various qualify-of-life features and workflow improvements
https://boole.shazz.me
MIT License
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
miscellaneous ui fixes
#42
michelleshx
closed
2 days ago
0
Add a "feedback" button or submit bugs
#41
michelleshx
opened
5 days ago
0
comment-function
#40
AbhishekPara
opened
1 week ago
0
fix extra space at bottom and make side panels collapsible
#39
michelleshx
closed
1 week ago
0
working find next and replace function
#38
AbhishekPara
closed
1 week ago
0
change to text cursor when hovering over editor
#37
michelleshx
closed
2 days ago
0
fix file upload
#36
michelleshx
closed
1 week ago
0
light mode theme change edits
#35
AbhishekPara
opened
1 week ago
0
ability to comment out code
#34
michelleshx
opened
1 week ago
0
Search text in the editor
#33
michelleshx
closed
1 week ago
0
bug: can't open assignment files
#32
michelleshx
opened
1 week ago
1
bug: uploading a file doesn't replace the actual text in the editor with the uploaded file
#31
michelleshx
closed
1 week ago
0
bug: upload file doesn't have light mode colours
#30
michelleshx
closed
1 week ago
0
text wrapping in the editor
#29
michelleshx
opened
1 week ago
0
bug: no hover effect for the files in the dropdown
#28
michelleshx
closed
2 days ago
0
Make bottom panel and right panel (file explorer) collapsible
#27
michelleshx
closed
1 week ago
0
bug: extra space at the bottom
#26
michelleshx
closed
1 week ago
0
implement simplified z spec debugging in right pannel
#25
michelleshx
closed
1 week ago
0
comment out UI elements
#24
AbhishekPara
opened
2 weeks ago
0
bug: on hover input should not be white but the same background
#23
xsharonhe
opened
2 weeks ago
0
[TESTING] test that the file system works on the student cs server
#22
michelleshx
opened
3 weeks ago
0
File system
#21
AbhishekPara
closed
3 weeks ago
0
Add File upload button
#20
echen-code
closed
1 month ago
1
Add alt text to buttons
#19
michelleshx
opened
2 months ago
0
Change font for file text
#18
michelleshx
closed
2 days ago
0
Convert project to typescript
#17
michelleshx
closed
2 weeks ago
0
Implement state management for debugging data
#16
michelleshx
opened
2 months ago
0
conversion to typescript
#15
xsharonhe
closed
2 weeks ago
0
Ask george button functionality
#14
michelleshx
closed
4 months ago
0
Update state space functionality
#13
michelleshx
opened
5 months ago
0
Apply operation functionality
#12
michelleshx
opened
5 months ago
0
Implement local storage for files, states, operations, trace
#11
michelleshx
opened
5 months ago
0
Implement expression evaluator
#10
michelleshx
opened
5 months ago
0
Initial file parsing of a full z-spec
#9
michelleshx
opened
5 months ago
0
Implement simplified z-spec debugging on the frontend
#8
michelleshx
closed
1 week ago
0
File upload button
#7
michelleshx
closed
1 month ago
0
"Ask George" button functionality (boole)
#6
michelleshx
closed
4 months ago
0
se212 file system (boole functionality)
#5
michelleshx
closed
3 weeks ago
0
Ask george button
#4
michelleshx
closed
5 months ago
0
light mode colours
#3
michelleshx
opened
5 months ago
0
add in the download functionality
#2
michelleshx
closed
5 months ago
0
download button
#1
michelleshx
closed
5 months ago
0