Skip to content

Conversation

@fmuratori
Copy link

Developed :ide-web module for 2p-kt.
Mainly focused on :ide-web module implementation.

Changes to other repo modules:

  • minor fixes file renaming in :gui module
  • added file saving logic in :gui module

Fabio Muratori and others added 30 commits April 24, 2023 12:29
…rarely disabled gradle linting and warnings tasks
…ry resolution inside of web editor environment
Fabio Muratori and others added 28 commits May 12, 2023 14:39
# Conflicts:
#	ide-web/src/main/kotlin/it/unibo/tuprolog/ide/web/components/SolutionsContainer.kt
#	ide-web/src/main/kotlin/it/unibo/tuprolog/ide/web/redux/Redux.kt
#	ide-web/src/main/kotlin/it/unibo/tuprolog/ide/web/redux/actions/TuProlog.kt
#	ide-web/src/main/kotlin/it/unibo/tuprolog/ide/web/redux/reducers/TuProlog.kt
#	ide-web/src/main/kotlin/it/unibo/tuprolog/ide/web/tuprolog/TuPrologController.kt
…i/2p-kt into feature/web-gui-develop

# Conflicts:
#	ide-web/src/main/kotlin/it/unibo/tuprolog/ide/web/components/SolutionsContainer.kt
#	ide-web/src/main/kotlin/it/unibo/tuprolog/ide/web/redux/Redux.kt
#	ide-web/src/main/kotlin/it/unibo/tuprolog/ide/web/redux/actions/TuProlog.kt
#	ide-web/src/main/kotlin/it/unibo/tuprolog/ide/web/redux/reducers/TuProlog.kt
…utions cleanup on completed resolution of a query
…s (now every entity displayed is tab dependent)
…hecks, query field depends on tab, minor restying of navbar
…nor style changes, global config variables refactoring
@fmuratori
Copy link
Author

@gciatto Any chance of getting merged? Or any feedback? Thanks!

@gciatto
Copy link
Contributor

gciatto commented Apr 4, 2024

Hi @fmuratori.

I think the work in this PR is very good and I totally intend to merge it soon.
There are a few edits I want to do before, such as replacing I/O functionalities implemented by me with a real multi-platform I/O library such as Okio.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants