deac/instiki
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Merge branch 'bzr/golem' of /Users/distler/Sites/code/instiki

Browse source
This commit is contained in:
Jacques Distler 2009-12-12 15:30:47 -06:00
parent 3890461b16 a58bee7437
commit 9ef71a7bce
2 changed files with 9 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
lib/wiki_words.rb
View file

@ -1,5 +1,8 @@
#coding: utf-8
# Contains all the methods for finding and replacing wiki words
require 'stringsupport'
module WikiWords
# In order of appearance: Latin, greek, cyrillic, armenian
I18N_HIGHER_CASE_LETTERS =
@ -18,7 +21,7 @@ module WikiWords
CAMEL_CASED_WORD_BORDER = /([a-z#{I18N_LOWER_CASE_LETTERS}])([A-Z#{I18N_HIGHER_CASE_LETTERS}])/u
def self.separate(wiki_word)
wiki_word.gsub(CAMEL_CASED_WORD_BORDER, '\1 \2')
wiki_word.dup.as_utf8.gsub(CAMEL_CASED_WORD_BORDER, '\1 \2')
end
end

11
public/javascripts/page_helper.js
View file

@ -57,13 +57,12 @@ function updateSize(elt, w, h) {
// adjust to the size of the user's browser area.
// w and h are the original, unadjusted, width and height per row/column
var parentheight = document.viewport.getHeight() - $('pageName').getHeight()
- $('editFormButtons').getHeight() - $('hidebutton').getHeight();
- $('editFormButtons').getHeight() - $('hidebutton').getHeight();
var parentwidth = $('Content').getWidth();
var f = $('MarkupHelp');
if (f.visible()) {parentwidth = parentwidth - f.getWidth() - 20}
var newcols = Math.floor(parentwidth/w) - 1;
var newrows = Math.floor(parentheight/h - 3);
elt.writeAttribute({'cols': newcols, 'rows': newrows });
if (f.visible()) { parentwidth = parentwidth - f.getWidth() - 20 }
elt.writeAttribute({'cols': Math.floor(parentwidth/w) - 1,
'rows': Math.floor(parentheight/h) - 6 });
elt.setStyle({Width: parentwidth, Height: parentheight});
}
@ -71,7 +70,7 @@ function resizeableTextarea() {
//make the textarea resize to fit available space
var f = $('MarkupHelp');
if (f) {
var hidebutton = new Element('input', {id:'hidebutton', type: 'button', value: 'Hide markup help'});
var hidebutton = new Element('input', {id:'hidebutton', type:'button', value: 'Hide markup help'});
f.insert({before: hidebutton});
}
$$('textarea#content').each( function(textarea) {