Modified og_gui_manager.py to make it accessible on devices not on the efabless platform. Changed the create project script to make the proper config directories so that the editors can be used. Modified profile.py to make the settings properly reflect the user preferences.
diff --git a/common/consoletext.py b/common/consoletext.py
index 03276fb..820d465 100755
--- a/common/consoletext.py
+++ b/common/consoletext.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/ef/efabless/opengalaxy/venv/bin/python3
#
#--------------------------------------------------------
"""
@@ -16,7 +16,7 @@
import tkinter
class ConsoleText(tkinter.Text):
- linelimit = 500
+ linelimit = 10000
class IORedirector(object):
'''A general class for redirecting I/O to this Text widget.'''
def __init__(self,text_area):