Allow copy and pasting of web source by pressing 'c'

pieter · Sep 19, 2008 · 38f16a2 · 38f16a2
1 parent db39aee
commit 38f16a2
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 1 deletion.
diff --git a/PBCommitList.m b/PBCommitList.m
@@ -22,7 +22,7 @@ - (void) keyDown: (id) event
 		else
 			[webView scrollPageDown: self];
 	}
-	else if ([character rangeOfCharacterFromSet:[NSCharacterSet characterSetWithCharactersInString:@"jkv"]].location == 0)
+	else if ([character rangeOfCharacterFromSet:[NSCharacterSet characterSetWithCharactersInString:@"jkcv"]].location == 0)
 		[webController sendKey: character];
 	else
 		[super keyDown: event];

diff --git a/PBWebGitController.m b/PBWebGitController.m
@@ -73,6 +73,14 @@ - (void) sendKey: (NSString*) key
 	[script callWebScriptMethod:@"handleKeyFromCocoa" withArguments: [NSArray arrayWithObject:key]];
 }
 
+- (void) copySource
+{
+	NSString *source = [[[[view mainFrame] DOMDocument] documentElement] outerHTML];
+	NSPasteboard *a =[NSPasteboard generalPasteboard];
+	[a declareTypes:[NSArray arrayWithObject:NSStringPboardType] owner:self];
+	[a setString:source forType: NSStringPboardType];
+}
+
 + (BOOL)isSelectorExcludedFromWebScript:(SEL)aSelector
 {
 	return NO;

diff --git a/html/keyboardNavigation.js b/html/keyboardNavigation.js
@@ -24,6 +24,8 @@ var handleKeyFromCocoa = function(key) {
 		changeHunk(false);
 	else if (key == 'v')
 		showDiffs();
+	else if (key == 'c')
+		Controller.copySource();
 }
 
 var changeHunk = function(next) {