eessppeelllloo/processing4
1
0
Fork 0
mirror of https://github.com/processing/processing4.git synced 2026-02-11 17:40:48 +01:00
Code Issues Packages Projects Releases Wiki Activity

furhter working

Browse Source
This commit is contained in:
benfry
2003-11-10 00:44:01 +00:00
parent e3484f553b
commit a59981b558
5 changed files with 197 additions and 121 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
processing/app/PdeHistory.java
View File

@@ -77,6 +77,14 @@ public class PdeHistory {
}
/**
* Set the path for the current sketch
*/
public void setPath(String path) {
historyFile = new File(path, "history.gz");
}
public void attachMenu(JMenu parent) {
//if (PdePreferences.getBoolean("history.recording")) {
menu = new JMenu("History");
@@ -261,20 +269,23 @@ public class PdeHistory {
//public void rebuildHistoryMenu(Menu menu, String path) {
public void rebuildMenu(String path) {
public void rebuildMenu() { //String path) {
//if (!recordingHistory) return;
//if (!PdePreferences.getBoolean("history.recording")) return;
menu.removeAll();
File hfile = new File(path);
if (!hfile.exists()) return; // no history yet
//File hfile = new File(path);
//if (!hfile.exists()) return; // no history yet
if (!historyFile.exists()) return;
JMenuItem item = new JMenuItem("Clear History");
item.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) {
if (!historyFile.delete()) {
System.err.println("couldn't erase history");
//System.err.println("couldn't erase history");
PdeBase.showWarning("History Problem",
"Could not erase history", null);
}
rebuildMenu(historyFile.getPath());
}
@@ -283,7 +294,7 @@ public class PdeHistory {
menu.addSeparator();
try {
BufferedReader reader = new BufferedReader(new InputStreamReader(new GZIPInputStream(new FileInputStream(path))));
BufferedReader reader = new BufferedReader(new InputStreamReader(new GZIPInputStream(new FileInputStream(historyFile))));
String line = null;
int historyCount = 0;