Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@danirabbit
Copy link
Member

@danirabbit danirabbit commented Jan 10, 2023

Instead of being a plugin, move the Terminal into the main src directory. Also remove the unused bottom notebook which only this plugin was using.

Eventually can be used with #1223 to help fix #1082

Copy link
Collaborator

@jeremypw jeremypw left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Only one tiny comment inline. Otherwise looks good as a starting point for a review of the terminal functionality.

Possible refinements for future PRs:

  • Easy way of navigating to (and/or opening at) active project's folder
  • Separate terminal for each project open
  • Built in common (customizable) commands e.g. for compiling, testing, debugging, building Flatpak, git etc

@jeremypw
Copy link
Collaborator

CI fail not due to these changes.

@danirabbit danirabbit requested a review from jeremypw January 13, 2023 16:19
@jeremypw jeremypw merged commit 7fe5ce8 into master Jan 13, 2023
@jeremypw jeremypw deleted the terminal-core branch January 13, 2023 18:09
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.

Make header bar more adaptive, e.g. for small screens and tiling

3 participants