Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

PythonIDE does not save for PythonLauncher #39708

Closed
jackjansen opened this issue Dec 15, 2003 · 2 comments
Closed

PythonIDE does not save for PythonLauncher #39708

jackjansen opened this issue Dec 15, 2003 · 2 comments
Assignees
Labels

Comments

@jackjansen
Copy link
Member

BPO 860242
Nosy @jackjansen

Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.

Show more details

GitHub fields:

assignee = 'https://github.com/jackjansen'
closed_at = <Date 2004-06-03.21:58:17.000>
created_at = <Date 2003-12-15.09:51:12.000>
labels = ['OS-mac']
title = 'PythonIDE does not save for PythonLauncher'
updated_at = <Date 2004-06-03.21:58:17.000>
user = 'https://github.com/jackjansen'

bugs.python.org fields:

activity = <Date 2004-06-03.21:58:17.000>
actor = 'jackjansen'
assignee = 'jackjansen'
closed = True
closed_date = None
closer = None
components = ['macOS']
creation = <Date 2003-12-15.09:51:12.000>
creator = 'jackjansen'
dependencies = []
files = []
hgrepos = []
issue_num = 860242
keywords = []
message_count = 2.0
messages = ['19415', '19416']
nosy_count = 1.0
nosy_names = ['jackjansen']
pr_nums = []
priority = 'normal'
resolution = 'fixed'
stage = None
status = 'closed'
superseder = None
type = None
url = 'https://bugs.python.org/issue860242'
versions = []

@jackjansen
Copy link
Member Author

PythonIDE Save options has a selection for the (now defunct)
PythonW creator code, but not for PythonLauncher.

The naming in the dialog could also be a little clearer.

@jackjansen
Copy link
Member Author

Logged In: YES
user_id=45365

Fixed in PyEdit.py 1.47 and 1.43.8.3.

@ezio-melotti ezio-melotti transferred this issue from another repository Apr 9, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant